Semantic evaluation from left to right

DOI10.1145/359997.359999MaRDI QIDQ4079031zbMATHOpenAlexFDO

Authors Gregor von Bochmann

Publication date 1976

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/359997.359999

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(20)

• An order-algebraic definition of knuthian semantics
• The formal power of one-visit attribute grammars
• A note on one-pass evaluation of attribute grammars
• Tree transducers with external functions
• A functional approach to generic programming using adaptive traversals
• Global storage cells for attributes in an attribute grammar
• Simple multi-visit attribute grammars
• An approach to user interface specification with attribute grammars
• Macro tree transducers, attribute grammars, and MSO definable tree translations.
• An optimization of the alternating semantic evaluator
• Counter-one-pass features in one-pass compilation: A formalization using attribute grammars
• Classical and incremental attribute evaluation by means of recursive procedures
• Semantic equivalence of covering attribute grammars
• Realization of attributive semantics
• Context-free hypergraph grammars have the same term-generating power as attribute grammars
• k-visit attribute grammars
• Attribute and unification grammar: A review and analysis of formalisms
• Ordered attributed grammars
• A two-dimensional hierarchy for attributed tree transducers
• The ELL(1) parser generator and the error recovery mechanism

This page was built for publication: Semantic evaluation from left to right

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4079031)