Search for dissertations about: "Jan Małuszyński"

Found 4 swedish dissertations containing the words Jan Małuszyński.

2. 1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

   Author : Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   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

4. 2. Reasoning with Rough Sets and Paraconsistent Rough Sets

   Author : Aida Vitória; Jan Małuszyński; Andrzej Skowron; Linköpings universitet; []
   Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

   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

5. 3. Descriptive Types for XML Query Language Xcerpt

   Author : Artur Wilk; Jan Maluszynski; Jørgen Fischer Nilsson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Type system; XML querying; Xcerpt; Type inference; Type definitions; Computer science; Datavetenskap;

   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

6. 4. Types for XML with Application to Xcerpt

   Author : Artur Wilk; Wlodzimierz Drabent; Jan Maluszýnski; Franciois Bry; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; XML; types; Xcerpt; XML schema; ontologies; XML querying; Computer science; Datavetenskap;

   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