Add to ORKGWe show how to extend the program analysis technique used in the XACT system to support XML Schema as type formalism. Moreover, we introduce optional type annotations to improve modularity of the type checking. The resulting system supports a flexible style of programming XML transformations and provides static guarantees of validity of the generated XML data
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java w...
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
Assertions, identity constraints, and conditional type assignments are (planned) features of XML Sch...
XACT is an extension of Java for making type-safe XML transformations. Unlike other approaches, XACT...
We survey work on statically type checking XML transformations, covering a wide range of notations a...
XML documents generated dynamically by programs are typically represented as text strings or DOM tre...
We show that it is possible to extend a general-purpose programming language with a convenient high-...
Schema languages such as DTD, XML Schema, and Relax NG have been steadily growing in importance in t...
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions...
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions...
AbstractXML graphs have shown to be a simple and effective formalism for representing sets of XML do...
XSLT 1.0 is a standardized functional programming language and widely used for defining transformat...
XML transformation languages (e.g., XSLT) take an XML document as input and produce another XML docu...
AbstractTypechecking consists of statically verifying whether the output of an XML transformation is...
We propose regular expression types as a foundation for statically typed XML processing languages. R...
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java w...
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
Assertions, identity constraints, and conditional type assignments are (planned) features of XML Sch...
XACT is an extension of Java for making type-safe XML transformations. Unlike other approaches, XACT...
We survey work on statically type checking XML transformations, covering a wide range of notations a...
XML documents generated dynamically by programs are typically represented as text strings or DOM tre...
We show that it is possible to extend a general-purpose programming language with a convenient high-...
Schema languages such as DTD, XML Schema, and Relax NG have been steadily growing in importance in t...
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions...
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions...
AbstractXML graphs have shown to be a simple and effective formalism for representing sets of XML do...
XSLT 1.0 is a standardized functional programming language and widely used for defining transformat...
XML transformation languages (e.g., XSLT) take an XML document as input and produce another XML docu...
AbstractTypechecking consists of statically verifying whether the output of an XML transformation is...
We propose regular expression types as a foundation for statically typed XML processing languages. R...
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java w...
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
Assertions, identity constraints, and conditional type assignments are (planned) features of XML Sch...