Since 2014
The Design Space of Type Checkers for XML Transformation Languages
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
The Design Space of Type Checkers for XML Transformation Languages
|
|
| Creator |
Møller, Anders
Schwartzbach, Michael I. |
|
| Description |
We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD to full-blown XML Schema or even more expressive formalisms. The notion of transformation may vary from clean and simple transductions to domain-specific languages or integration of XML in general-purpose programming languages. Type annotations can be either explicit or implicit, and type checking ranges from exact decidability to pragmatic approximations. We characterize and evaluate existing tools in this design space, including a recent result of the authors providing practical type checking of full unannotated XSLT 1.0 stylesheets given general DTDs that describe the input and output languages.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2004-12-11
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/21859
10.7146/brics.v11i34.21859 |
|
| Source |
BRICS Report Series; No 34 (2004): RS-34 The Design Space of Type Checkers for XML Transformation Languages
BRICS Report Series; No 34 (2004): RS-34 The Design Space of Type Checkers for XML Transformation Languages 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/21859/19286
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|