Go backward to Eagerly Evaluated Parameters
Go up to Top
Go forward to Lazy Evaluation
Lazy Evaluation
- Actual parameter evaluated with store only when corresponding formal
parameter is referenced.
- Abstraction:
-
[[pi |- proc I(I: tauexp) = C:
{I:
tauexp comm}dec]]
= ({I=}, )
where = [[pi -U- {I: tauexp} |- C:
comm]]( -U- {I=})
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine