Modular tree transducers
From MaRDI portal
Publication:807012
DOI10.1016/0304-3975(91)90353-4zbMath0729.68018OpenAlexW80136255MaRDI QIDQ807012
Heiko Vogler, Joost Engelfriet
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(91)90353-4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Tree Transformations and Dependencies ⋮ Implementation of a UU-algorithm for primitive recursive tree functions ⋮ Deaccumulation techniques for improving provability ⋮ The equivalence problem for letter-to-letter bottom-up tree transducers is solvable ⋮ An implementation of syntax directed functional programming on nested- stack machines ⋮ Tree transducers with external functions ⋮ The equivalence of bottom-up and top-down tree-to-graph transducers ⋮ A pumping lemma for output languages of macro tree transducers
Uses Software
Cites Work
- A constructive method for abstract algebraic software specification
- Macro tree transducers
- High level tree transducers and iterated pushdown tree transducers
- The formal power of one-visit attribute grammars
- Attribute grammars and recursive program schemes. I. II
- On primitive recursive wordfunctions
- IO and OI. II
- Generalized sequential machine maps
- Rekursive Wortfunktionen
- A syntax directed compiler for ALGOL 60
- Graph expressions and graph rewritings
- On the power of list iteration
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Bottom-up and top-down tree transformations— a comparison
- Semantics of context-free languages
- Mappings and grammars on trees
- Translations on a context free grammar
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Modular tree transducers