Available Expressions (AE)
Def: Ein Ausdruck e ist an einem Programmpunkt l verfügbar, falls auf allen Ausführungspfaden zu l e berechnet wurde und sich nicht verändert hat.
Fixpunkt: größter ? init = top
Richtung: Vorwärtsproblem
Transferfunktion: [ y:= a ]l
AEexit(l) = (AEentry(l) \ { a´ ? Aexp* ??y ?Var(a´) } ) ?? { a´ ? subexp(x) | y ? Var(a´) }