Go backward to Semantics of Parameter Transmission
Go up to Top
Go forward to Lazy Evaluation
Eagerly Evaluated Parameters
- Invocation:
-
[[pi |- call I(E): comm]]
= ([[pi |- E: tauexp]] )
where (I=) in
- Formal parameter reference:
-
[[pi |- I: tauexp]] =
where (I=) in
- Problem: functions as parameters
- Functions are lazily evaluated.
- Semantics of identifer lookup depends on identifier type!
- I: tauexp for function names.
- I: tauparam for formal parameters.
- Non-terminating parameter invocation:
- [[pi |- loop: intexp]] = bottom
- [[pi |- call I(loop): comm]]
= bottom = bottom.
- is strict on its actual parameter.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine