Frontiers of tractability for typechecking simple XML transformations

(Wim Martens and Frank Neven) Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus on complete algorithms which always produce the correct answer. We consider top–down XML t

Read More - Register for Free Membership