Semantic evaluation from left to right

DOI10.1145/359997.359999zbMATH Open0317.68020OpenAlexW2103411350MaRDI QIDQ4079031FDOQ4079031

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)

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

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)