Compiler I WS 2001/2002 - Slide 82
Objectives:
Example for computation and check of types
In the lecture:
- Types as properties of program entities,
- types as attributes of program constructs,
- explain attributes and computations in the tree,
- explain the dependencies between the computations.
Suggested reading:
Kastens / Übersetzerbau, Section 6.1
Assignments:
- Compose the trees of CI-81 and CI-82 into a complete tree. Find an evaluation order for the operations. State for each operation the weakest precondition with respect to the execution of other operations.
©2001 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 10.04.2006