|
127
|
XDuce: A Statically Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2002
|
|
47
|
Static Analysis of XML Transformations in Java
– Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
- 2003
|
|
169
|
Taxonomy of xml schema languages using formal language theory
– Makoto Murata, Dongwon Lee, Murali Mani
- 2001
|
|
149
|
Typechecking for XML Transformers
– Tova Milo, Dan Suciu, Victor Vianu
- 2000
|
|
29
|
Frontiers of tractability for typechecking simple XML transformations
– Wim Martens, Frank Neven
- 2004
|
|
40
|
XML type checking with macro tree transducers
– Sebastian Maneth, Thomas Perst, Alexandru Berlea, Helmut Seidl
- 2005
|
|
75
|
Extending java for high-level web service construction
– Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
- 2002
|
|
139
|
CDuce: An XML-Centric General-Purpose Language
– Véronique Benzaken, Giuseppe Castagna, Alain Frisch
- 2003
|
|
157
|
Regular Expression Types for XML
– Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce
- 2003
|
|
33
|
A comparison of pebble tree transducers with macro tree transducers
– Joost Engelfriet, Sebastian Maneth
- 2003
|
|
79
|
XPath satisfiability in the presence of DTDs
– Michael Benedikt
- 2005
|
|
102
|
Macro tree transducers
– J Engelfriet, H Vogler
- 1985
|
|
17
|
Static Validation of XSL Transformations
– Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
- 2005
|
|
27
|
H.: Macro forest transducers
– T Perst, Seidl
- 2004
|
|
28
|
Static Validation of Dynamically Generated HTML
– Claus Brabrand, Anders Møller, Michael I. Schwartzbach
- 2001
|
|
4
|
Typing XHTML web applications
– Martin Elsman, Ken Friis Larsen
- 2004
|
|
211
|
XMark: A Benchmark for XML Data Management
– Albrecht Schmidt, Florian Waas, Martin Kersten, Michael J. Carey, Ioana Manolescu, Ralph Busse
- 2002
|
|
16
|
iData For The World Wide Web - Programming Interconnected Web Forms
– Rinus Plasmeijer, Peter Achten
- 2006
|
|
8
|
Ocsigen: Typing Web interaction with Objective Caml
– Vincent Balat
- 2006
|
