| | |
Summary: Compiler Construction
Lecture 22:
Evaluation of Strongly Noncircular Attribute Grammars
Thomas Noll
Lehrstuhl f¨ur Informatik 2
(Software Modeling and Verification)
RWTH Aachen University
noll@cs.rwth-aachen.de
http://www-i2.informatik.rwth-aachen.de/i2/cc10/
Winter semester 2010/11
Outline
1 Repetition: Strongly Noncircular Attribute Grammars
2 (Strongly) Noncircular Attribute Grammars
3 Evaluation of Strongly Noncircular Attribute Grammars
Compiler Construction Winter semester 2010/11 2
Simplifying the Circularity Test
Idea: to simplify the circularity test, do not distinguish between
attribute dependences which are caused by different syntax trees
Definition (Attribute dependence (modified))
Let A = G, E, V AG with G = N, , P, S .
|