Faint Variables

Extension of the Live Variable problem

z := x;

y := z;

x is considered to be alive at the beginning

consider the variables used in an

assignment to be alive only if the

variable on the left side is alive

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen