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

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

Documents Related by Co-Citation

146 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
51 Static Analysis of XML Transformations in Java – Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach - 2003
189 Taxonomy of xml schema languages using formal language theory – Makoto Murata, Dongwon Lee, Murali Mani - 2001
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
158 CDuce: an XML-centric general-purpose language – Véronique Benzaken, École Normale Supérieure, Alain Frisch, École Normale Supérieure - 2003
107 XPath satisfiability in the presence of DTDs – Michael Benedikt - 2005
157 Typechecking for XML Transformers – Tova Milo, Dan Suciu, Victor Vianu - 2000
80 Extending java for high-level web service construction – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2002
50 XML type checking with macro tree transducers – S Maneth, A Berlea, T Perst, H Seidl - 2005
32 Frontiers of tractability for typechecking simple XML transformations – Wim Martens, Frank Neven - 2004
14 Static analysis for path correctness of XML queries – Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani - 2006
111 XML path language (XPath) version 1.0, W3C recommendation – J Clark, S DeRose - 1999
28 Static Validation of Dynamically Generated HTML – Claus Brabrand, Anders Møller, Michael I. Schwartzbach - 2001
16 Static Validation of XSL Transformations – Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach - 2005
37 A comparison of pebble tree transducers with macro tree transducers – Joost Engelfriet, Sebastian Maneth - 2003
32 Macro forest transducers – T Perst, H Seidl
4 Typing XHTML web applications – Martin Elsman, Ken Friis Larsen - 2004
11 Ocsigen: typing web interaction with Objective Caml – Vincent Balat
17 iData For The World Wide Web - Programming Interconnected Web Forms – Rinus Plasmeijer, Peter Achten - 2006