Datenflußanalyse
Datenflußanalyse
Datenflußanalyse
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Verfügbare Ausdrücke<br />
Welche Ausdrücke sind an einem Punkt verfügbar?<br />
<br />
x = a + b<br />
<br />
z = a + b<br />
<br />
<br />
<br />
<br />
<br />
y = a + b<br />
Der verfügbare Ausdruck muß auf jedem Pfad berechnet<br />
werden.<br />
Es handelt sich um ein Allproblem.<br />
in[b] = ∩ p∈P RED[b] out[p]<br />
Problem Konfluenzoperator gesuchte Lösung<br />
Existenzproblem ∪ minimale Lösung<br />
Allproblem ∩ maximale Lösung<br />
14