Partielle Auswertung einer imperativen Sprache, Folie 6: Menge der Programmpunkte

Menge der Programmpunkte

Berechnungszustände
Paare von Programmpunkten pp und Variableninhalten store : (pp,store)

Einteilung der Variablen (engl. division)
Klassifikation der Variablen als statisch oder dynamisch

Programmpunktspezialisierung
Beispielprogramm mit Anfangswerten name=z und namelist=(x y z):

search: if name = hd(namelist) goto found else cont;

cont: valuelist := tl(valuelist); namelist := tl(namelist); goto search;

found: value := hd(valuelist);

Þ Menge poly der Programmpunkte des residualen Programms

poly  = { (search, (z,(x y z))), (search, (z,(y z))), (search, (z,(z))),
   (cont, (z,(x y z))), (cont, (z,(y z))),
   (found, (z,(z)))
}