Semantic preserving translations

DOI10.1007/BF01762181zbMath0305.68010OpenAlexW1967353716MaRDI QIDQ4061931

David B. Benson

Publication date: 1975

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01762181

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20)

Related Items

Actor grammars, Transductions of dags and trees

Uses Software

• ALGOL 60
• Euler

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Properties of syntax directed translations
• Syntax directed translations and the pushdown assembler
• Generalized sequential machine maps
• A syntax directed compiler for ALGOL 60
• Languages in general algebras
• EULER: A generalization of ALGOL and its formal definition: Part 1
• Some remarks on derivations in general rewriting systems
• Syntax-Directed Transduction
• Semantics of context-free languages
• Automata in general algebras
• Transformational classes of grammars
• Syntax and semantics: A categorical view
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES