On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas

Wim Martens, Frank Neven, Marc Gyssens

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 gen…