![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
Invited Talk
- Christoph Koch:
XPath Leashed. 0-1
Papers
- Alain Frisch, Keisuke Nakano:
Streaming XML Transformation Using Term Rewriting. 2-13 - 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 - James Cheney:
Lux: A Lightweight, Statically Typed XML Update Language. 25-36 - Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A Theory of Contracts for Web Services. 37-48 - Kazuhiro Inaba, Haruo Hosoya:
XML Transformation Language Based on Monadic Second Order Logic. 49-60 - Pierre Genevès, Nabil Layaïda, Alan Schmitt:
XPath Typing Using a Modal Logic with Converse for Finite Trees. 61-72 - Sebastian Maneth, Helmut Seidl:
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time. 73-79 - J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt:
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. 80-90
Software Demonstrations
- Kazuhiro Inaba, Haruo Hosoya:
MTran: An XML Transformation Language Based on Monadic Second Order Logic. 91-92 - Jorge Coelho, Mário Florido:
XCentric: A Logic-Programming Language for XML Processing. 93-94 - Ralf Lämmel:
LINQ to XSD. 95-96 - Benoît Pin, Georges-André Silber:
GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures). 97-98
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.