Sciweavers

Share
2 search results - page 1 / 1
» On Typechecking Top-Down XML Tranformations: Fixed Input or ...
Sort
View
CORR
2006
Springer
88views Education» more  CORR 2006»
8 years 6 months ago
On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
Wim Martens, Frank Neven, Marc Gyssens
ICDT
2003
ACM
126views Database» more  ICDT 2003»
8 years 11 months ago
Typechecking Top-Down Uniform Unranked Tree Transducers
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
Wim Martens, Frank Neven
books