Benutzer: Gast  Login
Titel:

Exact XML Type Checking in Polynomial Time

Dokumenttyp:
Technical Report
Autor(en):
Sebastian Maneth, Thomas Perst, Helmut Seidl
Abstract:
Macro tree transducers (mtts) are an expressive formalism for reasoning about \\XSLT-like document transformations. \\Here we are interested in the exact type\\ checking problem for mtts. While the problem is decidable, the involved\\ technique of inverse type inference is, however, known to have exponential\\ worst-case complexity (already for top-down transformations without parameters).\\ We present new type checking algorithms based on forward type inference through\\ exact characterizations...     »
Stichworte:
macro tree transducers; macro forest transducers; XML; XSLT; type checking; context-free grammars
Jahr:
2005
Jahr / Monat:
2005-12-01 00:00:00
Seiten/Umfang:
29
 BibTeX