Partielle Auswertung einer imperativen Sprache, Folie 10: Bindezeitanalyse

Bindezeitanalyse

Klassifizierung der Variablen als statisch oder dynamisch nicht trivial!
Beispiel: sei X=0 bekannt und Y unbekannt.

Iterate: if Y ¹ 0 then begin X := X + 1; Y := Y - 1; goto iterate; end;

Naheliegende Strategie - X statisch, Y dynamisch - funktioniert nicht!
Þ Generalisierung von X erforderlich

Berechnung einer kongruenten Einteilung
1. Konstruktion der Anfangseinteilung B
2. Überprüfung aller Zuweisungen X := exp;
  X dynamisch in B, falls exp dynamische Variablen enthält
3. Schritt 2 wiederholen, bis sich Einteilung B nicht mehr ändert