Sökning: "Artur Wilk"
Hittade 2 avhandlingar innehållade orden Artur Wilk.
1. Descriptive Types for XML Query Language Xcerpt
Sammanfattning : 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. LÄS MER
2. Types for XML with Application to Xcerpt
Sammanfattning : 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. LÄS MER