A formal model for an expressive fragment of XSLT
From MaRDI portal
Publication:1599655
DOI10.1016/S0306-4379(01)00033-3zbMath1004.68059WikidataQ111823107 ScholiaQ111823107MaRDI QIDQ1599655
Geert Jan Bex, Sebastian Maneth, Frank Neven
Publication date: 2 February 2003
Published in: Information Systems (Search for Journal in Brave)
Related Items
On the tree-transformation power of XSLT ⋮ Automata for XML -- a survey ⋮ Frontiers of tractability for typechecking simple XML transformations ⋮ On the power of tree-walking automata. ⋮ XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles ⋮ Typechecking top-down XML transformations: Fixed input or output schemas ⋮ Structural properties of XPath fragments ⋮ On the complexity of typechecking top-down XML transformations ⋮ Tree Automata over Infinite Alphabets
