Compilation Methods SS 2009 - Slide 219

Objectives:
A DFA problem is modeled by a system of equations

In the lecture:

The equation pattern is explained.
Equations are defined over sets.
In this example: sets of assignment statements at certain program positions.
The meet operator being the union operator is correlated to "there is a path" in the problem statement.
Note: In this context a "definition of a variable" means an "assignment of a variable".

Suggested reading:
Kastens / Übersetzerbau, Section 8.2.4

Questions:

Explain the meaning of In(B)= {d1: x=5, d4: x=7, d6: y=a+1} for a particular block B.

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 30.03.2009