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
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
189 Taxonomy of xml schema languages using formal language theory – Makoto Murata, Dongwon Lee, Murali Mani - 2001
157 Typechecking for XML Transformers – Tova Milo, Dan Suciu, Victor Vianu - 2000
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
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
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
111 XML path language (XPath) version 1.0, W3C recommendation – J Clark, S DeRose - 1999
16 Static Validation of XSL Transformations – Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach - 2005
159 Generalising Monads to Arrows – John Hughes - 1998
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
155 Updating XML – Igor Tatarinov, Zachary G. Ives, Alon Y. Halevy, Daniel S. Weld - 2001
7 Statically typed document transformation: An Xtatic experience – Vladimir Gapeyev, François Garillot, Benjamin C. Pierce - 2006
254 XMark: A Benchmark for XML Data Management – Albrecht Schmidt, Florian Waas, Martin Kersten, Michael J. Carey, Ioana Manolescu, Ralph Busse - 2002