Go backward to Eager Evaluation Semantics
Go up to Top
Go forward to Lazy and Eager Evaluation Combined
Eager Evaluation Semantics
- Type semantics (contd)
- eval({:theta})
= { : eval(theta) }
- eval(theta theta) =
eval(theta) [[theta]]
- eval(comm) = Store
- eval(tauexp) = [[tau]]
- Properties:
- Use store argument to force evaluation of phrases that bind to
identifiers.
- Soundness of typing rules preserved.
- Copy rule does not hold.
- Strictness:
- { I = bottom } = bottom
- bottom = bottom
- Non-termination arises in language!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine