Search for dissertations about: "Artur Wilk"
Found 2 swedish dissertations containing the words Artur Wilk.
-
1. 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
-
2. 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