Type Checking with XML Schema in XACT

Christian Kirkegaard
Anders Møller

September 2005


We 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.

Available as PostScript, PDF.


Last modified: 2005-11-21 by webmaster.