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

148 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
53 Static Analysis of XML Transformations in Java – Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach - 2003
192 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
160 CDuce: an XML-centric general-purpose language – Véronique Benzaken, École Normale Supérieure, Alain Frisch, École Normale Supérieure - 2003
50 XML type checking with macro tree transducers – S Maneth, A Berlea, T Perst, H Seidl - 2005
157 Typechecking for XML Transformers – Tova Milo, Dan Suciu, Victor Vianu - 2000
108 XPath satisfiability in the presence of DTDs – Michael Benedikt - 2005
80 Extending java for high-level web service construction – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2002
14 Static analysis for path correctness of XML queries – Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani - 2006
32 Frontiers of tractability for typechecking simple XML transformations – Wim Martens, Frank Neven - 2004
37 A comparison of pebble tree transducers with macro tree transducers – Joost Engelfriet, Sebastian Maneth - 2003
112 XML path language (XPath), version 1.0. W3C Recommendation. Go online to www.w3.org – J AND DEROSE CLARK, S - 1999
16 Static Validation of XSL Transformations – Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach - 2005
162 Generalising Monads to Arrows – John Hughes - 1998
17 iData For The World Wide Web - Programming Interconnected Web Forms – Rinus Plasmeijer, Peter Achten - 2006
12 Ocsigen: Typing web interaction with objective caml – V Balat
7 Statically typed document transformation: An Xtatic experience – Vladimir Gapeyev, François Garillot, Benjamin C. Pierce - 2006
9 Type checking with XML Schema in XACT – Christian Kirkegaard - 2005