PLAN-X 2007:
Nice,
France
PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007.
2007 BibTeX
Invited Talk
Papers
- Alain Frisch, Keisuke Nakano:
Streaming XML Transformation Using Term Rewriting.
2-13
Electronic Edition (link) BibTeX
- Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen:
How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away.
14-24
Electronic Edition (link) BibTeX
- James Cheney:
Lux: A Lightweight, Statically Typed XML Update Language.
25-36
Electronic Edition (link) BibTeX
- Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A Theory of Contracts for Web Services.
37-48
Electronic Edition (link) BibTeX
- Kazuhiro Inaba, Haruo Hosoya:
XML Transformation Language Based on Monadic Second Order Logic.
49-60
Electronic Edition (link) BibTeX
- Pierre Genevès, Nabil Layaïda, Alan Schmitt:
XPath Typing Using a Modal Logic with Converse for Finite Trees.
61-72
Electronic Edition (link) BibTeX
- Sebastian Maneth, Helmut Seidl:
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time.
73-79
Electronic Edition (link) BibTeX
- J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt:
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
80-90
Electronic Edition (link) BibTeX
Software Demonstrations
Copyright © Sat May 16 23:33:29 2009
by Michael Ley (ley@uni-trier.de)
