Sciweavers

9 search results - page 1 / 2
» Multi-Return Macro Tree Transducers
Sort
View
PLANX
2008
13 years 9 months ago
Multi-Return Macro Tree Transducers
Kazuhiro Inaba, Haruo Hosoya
DBPL
2007
Springer
98views Database» more  DBPL 2007»
14 years 1 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
FSTTCS
2008
Springer
13 years 8 months ago
The Complexity of Tree Transducer Output Languages
Two complexity results are shown for the output languages generated by compositions of macro tree transducers. They are in NSPACE(n) and hence are context-sensitive, and the class ...
Kazuhiro Inaba, Sebastian Maneth
PODS
2005
ACM
99views Database» more  PODS 2005»
14 years 7 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...