An order-algebraic definition of knuthian semantics

DOI10.1007/BF01744285zbMath0397.68087OpenAlexW2011998974MaRDI QIDQ4181304

David F. Martin, Laurian M. Chirica

Publication date: 1979

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

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

zbMATH Keywords

Knuthian SemanticsLeaStructural Induction on Many-Sorted Algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Systematic debugging method for attribute grammar description, Pushdown machines for the macro tree transducer, Two-level semantics and code generation, High level tree transducers and iterated pushdown tree transducers, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming, Can we transform logic programs into attribute grammars ?, Attribute Grammars and Categorical Semantics, Attribute grammars and recursive program schemes. I. II, Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers, Tree transducers with external functions, Monadic Datalog Tree Transducers, On traced monoidal closed categories, Semantics of algorithmic languages, Attributed tree grammars, Macro tree transducers

Uses Software

• ALGOL 68

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributed translations
• Chain-complete posets and directed sets with applications
• Semantic evaluation from left to right
• The intrinsically exponential complexity of the circularity problem for attribute grammars
• Initial Algebra Semantics and Continuous Algebras
• Semantics of context-free languages
• Property grammars and table machines
• Heterogeneous algebras
• Semantics of context-free languages: Correction