Go backward to Copy Rule
Go up to Top
Go forward to Eagerly Evaluated Parameters
Semantics of Parameter Transmission
- Parameterized procedure abstractions:
- Lazy evaluated procedures.
- Eagerly evaluated parameters.
- [[I]]= in Env
[[tau]] [[comm]]
- Abstraction:
-
[[pi |- proc I(I: tauexp) = C:
{I:
tauexp comm}dec]]
= ({I=}, )
where = [[pi -U- {I: tauexp}
|- C:
comm]]( -U- {I=})
- -U- {I=} = {I=} union ( - {(I=) | (I=)
in })
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine