Go backward to Evaluation Strategy
Go up to Top
Go forward to Semantics of Parameter Transmission
Copy Rule
- Lazy evaluated parameters:
- define I(I: theta) = U ...in ...invoke I(V) ...
- ......in ...[V/I]U ...
- Lazy evaluation difficult to understand when
- Store changes as procedure evaluates.
- Location is aliased by different names.
Lazy evaluation works better within functional languages!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine