Faint Variables: Solution
init_start : lift({result})
ASSIGN(variable, exp) =
let lifeVars <= @ in if variable ? lifeVars then lift((lifeVars - var) lub variables(exp)) else @ endif
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen