|
Kazuhiro Inaba, Haruo Hosoya
|
XML Transformation Language Based on Monadic Second
Order Logic
|
|
Nate Foster, Benjamin C. Pierce, Alan Schmitt
|
A Logic Your Typechecker Can Count On: Unordered Tree
Types in Practice
|
|
Alain Frisch, Keisuke Nakano
|
Streaming XML Transformations Using Term Rewriting
|
|
Giuseppe Castagna, Nils Gesbert, Luca Padovani
|
A Theory of Contracts for Web Services
|
|
Sebastian Maneth, Helmut Seidl
|
Deciding Equivalences of Top-Down XML Transformations
in Polynomial Time
|
|
Jan Hidders, Philippe Michiels, Jerome Simeon, Roel Vercammen
|
How to Recognise Different Kinds of Tree Patterns
From Quite a Long Way Away
|
|
Pierre Geneves, Nabil Layaida, Alan Schmitt
|
XPath Typing Using a Modal Logic with Converse for
Finite Trees
|
|
James Cheney
|
Lux: A Lightweight, Statically Typed XML Update Language
|