Type checking of tree walking transducers

DOI10.1142/9789814271059_0011zbMATH Open1256.68106OpenAlexW2404359670MaRDI QIDQ4907863FDOQ4907863

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

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

zbMATH Keywords

XMLtype checkingXSLTtree walking transducers

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)

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)