The Design Space of Type Checkers for XML Transformation Languages

  title={The Design Space of Type Checkers for XML Transformation Languages},
  author={Anders M\oller and Michael I. Schwartzbach},
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… CONTINUE READING
Highly Cited
This paper has 66 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
41 Citations
43 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 43 references

On XML objects, October 2002. Presented at Programming Language Technologies for XML, PLAN-X ’02

  • Martin Kempa, Volker Linnemann
  • 2002
Highly Influential
7 Excerpts

Document Object Model (DOM) level 1 specification, October

  • Vidur Apparao
  • 1998
Highly Influential
12 Excerpts

Schwartzbach . Static analysis of XML transformations in Java

  • Nils Klarlund, Anders Møller, I Michael
  • IEEE Transactions on Software Engineering
  • 2004

Similar Papers

Loading similar papers…