Search for dissertations about: "Jan Maluszynski"
Found 4 swedish dissertations containing the words Jan Maluszynski.
-
1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs
Abstract : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. READ MORE
-
2. Reasoning with Rough Sets and Paraconsistent Rough Sets
Abstract : This thesis presents an approach to knowledge representation combining rough sets and para-consistent logic programming.The rough sets framework proposes a method to handle a specific type of uncertainty originating from the fact that an agent may perceive different objects of the universe as being similar, although they may have di®erent properties. READ MORE
-
3. Descriptive Types for XML Query Language Xcerpt
Abstract : The thesis presents a type system for a substantial fragment of XML query language Xcerpt. The system is descriptive; the types associated with Xcerpt constructs are sets of data terms and approximate the semantics of the constructs.A formalism of Type Definitions, related to XML schema languages, is adopted to specify such sets. READ MORE
-
4. Types for XML with Application to Xcerpt
Abstract : XML data is often accompanied by type information, usually expressed by some schema language. Sometimes XML data can be related to ontologies defining classes of objects, such classes can also be interpreted as types. Type systems proved to be extremely useful in programming languages, for instance to automatically discover certain kinds of errors. READ MORE