Type Checking with XML Schema in XACT
Open Access
- 1 June 2005
- journal article
- Published by Det Kgl. Bibliotek/Royal Danish Library in BRICS Report Series
- Vol. 12 (31)
- 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.Keywords
This publication has 0 references indexed in Scilit: