Add to ORKGWe show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named Xact, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation
The increased importance of XML as a universal data representation format has led to several proposa...
As information on the World Wide Web continues to proliferate at an astounding rate, the Extensible ...
As XML spreads to various application domains, transformation tasks on XML documents are accomplishe...
We show that it is possible to extend a general-purpose programming language with a convenient high-...
XML documents generated dynamically by programs are typically represented as text strings or DOM tre...
We show how to extend the program analysis technique used in the XACT system to support XML Schema a...
Class-based object-oriented programming is firmly established as the mainstream technology for appli...
XACT is an extension of Java for making type-safe XML transformations. Unlike other approaches, XACT...
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
XML has been widely adopted as a standard language for describing static documents and data. However...
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...
Schema languages such as DTD, XML Schema, and Relax NG have been steadily growing in importance in t...
The increased importance of XML as a data representation format has led to several proposals for fac...
The increased importance of XML as a universal data representation format has led to several proposa...
As information on the World Wide Web continues to proliferate at an astounding rate, the Extensible ...
As XML spreads to various application domains, transformation tasks on XML documents are accomplishe...
We show that it is possible to extend a general-purpose programming language with a convenient high-...
XML documents generated dynamically by programs are typically represented as text strings or DOM tre...
We show how to extend the program analysis technique used in the XACT system to support XML Schema a...
Class-based object-oriented programming is firmly established as the mainstream technology for appli...
XACT is an extension of Java for making type-safe XML transformations. Unlike other approaches, XACT...
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
XTATIC is a lightweight extension of C# offering native support for statically typed XML processing....
XML has been widely adopted as a standard language for describing static documents and data. However...
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...
Schema languages such as DTD, XML Schema, and Relax NG have been steadily growing in importance in t...
The increased importance of XML as a data representation format has led to several proposals for fac...
The increased importance of XML as a universal data representation format has led to several proposa...
As information on the World Wide Web continues to proliferate at an astounding rate, the Extensible ...
As XML spreads to various application domains, transformation tasks on XML documents are accomplishe...