Type checking of tree walking transducers

DOI10.1142/9789814271059_0011MaRDI QIDQ4907863zbMATH OpenOpenAlexFDO

Authors Sebastian Maneth, Sylvia Friese, Helmut Seidl

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814271059_0011

zbMATH Keywords

XMLtype checkingXSLTtree walking transducers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data structures (68P05) Searching and sorting (68P10)

Recommendations

• The time complexity of typechecking tree-walking tree transducers
• scientific article; zbMATH DE number 1953124
• XML Type Checking Using High-Level Tree Transducer
• Typechecking for XML transformers
• On the complexity of typechecking top-down XML transformations

Cited in

(5)

• The time complexity of typechecking tree-walking tree transducers
• XML Type Checking Using High-Level Tree Transducer
• Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
• scientific article; zbMATH DE number 1953124 (Why is no real title available?)

Describes a project that uses

Uses Software

• XDuce

This page was built for publication: Type checking of tree walking transducers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907863)