Go backward to Lazy Evaluation Semantics
Go up to Top
Go forward to Variable Declarations
Lazy Evaluation Semantics
- No store argument mentioned:
- Lazy evaluation never suppplies a store to a record binding, a lambda
abstraction, or the argument of a lambda abstraction.
- Records and lambda abstractions constitute a "functional sublanguage"
overlaid over imperative core.
- Typing rules are sound.
- Copy rules:
-
with (=E)
do E [E/]
-
(lambdaI:theta. E)E [E/I]E
- Calculation of program semantics:
- Apply copy rules to make all bindings.
- Use semantics of core language.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine