Simple multi-visit attribute grammars

DOI10.1016/0022-0000(82)90030-7zbMath0524.68048MaRDI QIDQ584934

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

context-free grammar; attribute grammar; ordered attribute grammar

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68N20: Theory of compilers and interpreters

68Q55: Semantics in the theory of computing

Related Items

Optimal incremental simple multi-pass attribute evaluation, Computational and attribute models of formal languages, 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A characterization of attribute evaluation in passes
• The formal power of one-visit attribute grammars
• Ordered attributed grammars
• k-visit attribute grammars
• Semantic evaluation from left to right
• The intrinsically exponential complexity of the circularity problem for attribute grammars
• IO-macrolanguages and attributed translations
• Semantics of context-free languages: Correction