|
17
|
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
|
|
11
|
A Runtime System for XML Transformations in Java
– Aske Simon Christensen , Christian Kirkegaard, Anders Møller
- 2003
|
|
47
|
Static Analysis of XML Transformations in Java
– Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
- 2003
|
|
|
XML Typechecking
– Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren, et al.
|
|
3
|
XML Transformation Language Based on Monadic Second-order Logic
– Kazuhiro Inaba, Haruo Hosoya
|
|
9
|
Type checking with XML Schema in XACT
– Christian Kirkegaard
- 2005
|
|
127
|
XDuce: A Statically Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2002
|
|
6
|
XML Type Checking Using High-Level Tree Transducer
– Akihiko Tozawa
- 2006
|
|
|
Type Checking of Tree Walking Transducers
– Sebastian Maneth, Sylvia Pott, Helmut Seidl
- 2010
|
|
24
|
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
|
|
11
|
Towards practical typechecking for macro tree transducers
– Alain Frisch, Haruo Hosoya
- 2007
|
|
18
|
XJ: Facilitating XML Processing in Java
– Matthew Harren, Michael G. Burke, et al.
- 2005
|
|
1
|
DynXML: Safely Programming the Dynamic Web
– Joshua Sunshine, Jonathan Aldrich
|
|
62
|
Static Approximation of Dynamically Generated Web Pages
– Yasuhiko Minamide
- 2005
|
|
23
|
Parametric Polymorphism for XML
– Haruo Hosoya , Alain Frisch, Giuseppe Castagna
- 2004
|
