Example: Live Variables

TRANSFER

IF(exp) =

if @ = top then top

else if @ = bot then bot

else let lifeVars = drop(@) in  lift(lifeVars lub variables(exp))

endif endif

let lifeVars <= @ in

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen