Type checking with XML Schema in XACT (2005)
Cached
Download Links
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
| Venue: | Presented at Programming Language Technologies for XML, PLAN-X ’06 |
| Citations: | 9 - 6 self |
BibTeX
@TECHREPORT{Kirkegaard05typechecking,
author = {Christian Kirkegaard},
title = {Type checking with XML Schema in XACT},
institution = {Presented at Programming Language Technologies for XML, PLAN-X ’06},
year = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
XACT is an extension of Java for making type-safe XML transfor-mations. Unlike other approaches, XACT provides a programming model based on XML templates and XPath together with a typechecker based on data-flow analysis. We show how to extend the data-flow analysis technique used inthe XACT system to support XML Schema as type formalism. The technique is able to model advanced features, such as type deriva-tions and overloaded local element declarations, and also datatypes of attribute values and character data. Moreover, we introduce op-tional type annotations to improve modularity of the type checking.
