Copy Rule
- Lazy evaluated parameters:
- define I1(I2: theta) = U ...in ...invoke I1(V) ...
- ......in ...[V/I2]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!
Author: Wolfgang Schreiner
Last Modification: May 7, 1998