Sciweavers

9 search results - page 1 / 2
» planx 2007
Sort
View
PLANX
2007
14 years 11 months ago
XPath Leashed
Christoph Koch
PLANX
2007
14 years 11 months ago
LINQ to XSD
Ralf Lämmel
68
Voted
PLANX
2007
14 years 11 months ago
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
75
Voted
PLANX
2007
14 years 11 months ago
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time
Many useful XML transformations can be formulated through deterministic top-down tree transducers. A canonical form for such transducers is presented which allows to decide equiva...
Sebastian Maneth, Helmut Seidl