Simple multi-visit attribute grammars

DOI10.1016/0022-0000(82)90030-7MaRDI QIDQ584934zbMATH OpenOpenAlexFDO

Authors Joost Engelfriet, Gilberto File

Publication date 1982

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/simple-multivisit-attribute-grammars(f4a2b5c0-3190-4f6b-ba5e-f408ab420e9a).html

zbMATH Keywords

attribute grammarcontext-free grammarordered attribute grammar

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cites work

• A characterization of attribute evaluation in passes
• scientific article; zbMATH DE number 3696529 (Why is no real title available?)
• scientific article; zbMATH DE number 3564261 (Why is no real title available?)
• scientific article; zbMATH DE number 3622972 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• IO-macrolanguages and attributed translations
• k-visit attribute grammars
• Ordered attributed grammars
• Semantic evaluation from left to right
• Semantics of context-free languages: Correction
• The formal power of one-visit attribute grammars
• The intrinsically exponential complexity of the circularity problem for attribute grammars

Cited in

(9)

• Classical and incremental attribute evaluation by means of recursive procedures
• Composition and evaluation of attribute coupled grammars
• Attribute (re)evaluation in OPTRAN
• Attribute grammars and recursive program schemes. I. II
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Systematic debugging method for attribute grammar description
• Toward knowledge-based specifications of languages
• Optimal incremental simple multi-pass attribute evaluation
• Computational and attribute models of formal languages

This page was built for publication: Simple multi-visit attribute grammars

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