Konstantenpropagation (CP)

• Ziel: Berechne für jeden Programmpunkt Abbildung von Variablen auf konstante Werte (oder top falls nicht konstant)

• Verband: Var* ? N

• Fixpunkt: kleinster ? init = bot

• Richtung: Vorwärtsproblem

• combine: lub

• Transferfunktion: [ y:= a ]l

• CPexit(l) = CPentry(l) [ y ? [| a |] ]

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen