Type Checking with XML Schema in XACT

Authors

  • Christian Kirkegaard
  • Anders Møller

DOI:

https://doi.org/10.7146/brics.v12i31.21898

Abstract

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.

Downloads

Published

2005-09-11

How to Cite

Kirkegaard, C., & Møller, A. (2005). Type Checking with XML Schema in XACT. BRICS Report Series, 12(31). https://doi.org/10.7146/brics.v12i31.21898

Issue

No. 31 (2005): RS-31 Type Checking with XML Schema in XACT

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.