Compiler I WS 2001/2002 - Slide 69b
Objectives:
Exercise formal definition
In the lecture:
- Show synthesized, inherited attributes.
- Check consistency and completeness.
Questions:
- Add a computation such that a pair of sets AI(X), AS(X) is no longer disjoint.
- Add a computation such that the AG is inconsistent.
- Which computations can be omitted whithout making the AG incomplete?
- What would the effect be if the order of the three computations on the bottom left of the slide was altered?
©2001 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 10.04.2006