Type Checking of Tree Walking Transducers

DOI10.1142/9789814271059_0011zbMath1256.68106OpenAlexW2404359670MaRDI QIDQ4907863

Helmut Seidl, Sebastian Maneth, Sylvia Friese

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

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

Related Items (1)

Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity

Uses Software

• XDuce

This page was built for publication: Type Checking of Tree Walking Transducers