Example: Live Variables
ASSIGN(var, exp) =
let lifeVars <= @ inlift((lifeVars - var) lub variables(exp))
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen