The Design Space of Type Checkers for XML Transformation Languages (2004)

by Anders Møller , Michael I. Schwartzbach
Citations:34 - 5 self

Active Bibliography

16 Static Validation of XSL Transformations – Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach - 2005
3 XML graphs in program analysis – Anders Møller, Michael Schwartzbach - 2007
12 A Runtime System for XML Transformations in Java – Aske Simon Christensen , Christian Kirkegaard, Anders Møller - 2003
51 Static Analysis of XML Transformations in Java – Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach - 2003
1 XML Typechecking – Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren, et al.
RESEARCH CENTRE – Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek, Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek
3 XML Transformation Language Based on Monadic Second-order Logic – Kazuhiro Inaba, Haruo Hosoya
146 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
9 Type checking with XML Schema in XACT – Christian Kirkegaard - 2005
6 XML Type Checking Using High-Level Tree Transducer – Akihiko Tozawa - 2006
1 Type Checking of Tree Walking Transducers – Sebastian Maneth, Sylvia Pott, Helmut Seidl - 2010
30 Exact XML type checking in polynomial time – Sebastian Maneth, Thomas Perst, Helmut Seidl - 2007
2 Type-based Inference of Size Relationships for XML Transformations – Zhendong Su, et al.
8 Contracts for cooperation between Web service programmers and HTML designers – Henning Böttger, Anders Møller, Michael I. Schwartzbach - 2003
3 On typechecking top-down XML tranformations: Fixed input or output schemas (2005), submitted, available at http://alpha.uhasselt.be/wim.martens – Wim Martens, Frank Neven, Marc Gyssens
12 Towards practical typechecking for macro tree transducers – Alain Frisch, Haruo Hosoya - 2007
21 XJ: Facilitating XML Processing in Java – Matthew Harren, Michael G. Burke, et al. - 2005
TM ∗ XJ: Facilitating XML Processing in Java – Matthew Harren, Michael Burke, Mukund Raghavachari, Rajesh Bordawekar, Vivek Sarkar, Oded Shmueli, Igor Pechtchanski
1 DynXML: Safely Programming the Dynamic Web – Joshua Sunshine, Jonathan Aldrich