Reaching Definitions

[z := z*y]4

[y := 0]6

[yɭ]3

[y := x]1

[z := 1]2

[y := y-1]5

Eine Zuweisung [x:=a]l erreicht l´ falls es eine Ausführungspfad gibt, auf dem x zuletzt in l zugewiesen wurde