Classical and incremental attribute evaluation by means of recursive procedures

DOI10.1016/0304-3975(87)90026-0MaRDI QIDQ1097705zbMATHOpenAlexFDO

Authors B. George

Publication date 1987

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(87)90026-0

zbMATH Keywords

absolutely noncircular attribute grammarsrecursive evaluators

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• A general incremental evaluator for attribute grammars
• scientific article; zbMATH DE number 3858443
• scientific article; zbMATH DE number 3980524
• scientific article; zbMATH DE number 5762330
• Incremental attribute evaluation through recursive procedures

Cites work

• scientific article; zbMATH DE number 3874572 (Why is no real title available?)
• scientific article; zbMATH DE number 3911743 (Why is no real title available?)
• Attribute grammars and recursive program schemes. I. II
• Computation sequences: A way to characterize classes of attribute grammars
• Semantic evaluation from left to right
• Semantics of context-free languages: Correction
• Simple multi-visit attribute grammars

Cited in

(2)

• Optimal incremental simple multi-pass attribute evaluation
• A general incremental evaluator for attribute grammars

This page was built for publication: Classical and incremental attribute evaluation by means of recursive procedures

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