An implementation of syntax directed functional programming on nested- stack machines

DOI10.1007/BF01211311zbMath0748.68008MaRDI QIDQ1194207

Heinz Fassbender, Heiko Vogler

Publication date: 27 September 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

tree transducerscall-by-needcall-by-name

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15)

Uses Software

• BABEL

Cites Work

• A constructive method for abstract algebraic software specification
• Modular tree transducers
• Extended macro grammars and stack controlled machines
• Macro tree transducers
• Pushdown machines for the macro tree transducer
• Attribute grammars and recursive program schemes. I. II
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Logic programming with functions and predicates: The language Babel
• Bottom-up and top-down tree transformations— a comparison
• Nested Stack Automata
• Mappings and grammars on trees
• Translations on a context free grammar
• The Mechanical Evaluation of Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item