Go backward to Eager Evaluation Semantics
Go up to Top
Go forward to Lazy and Eager Bindings
Lazy and Eager Evaluation Combined
- Introduction of newint
- Type attributes:
- theta ::= tau | tauexp
- tau ::= int | bool | intloc
| store | pi | theta theta
- pi ::= {:theta}
- Evaluation:
- tau is type of evaluated phrase
- tauexp is type of unevaluated phrase
- Examples:
- comm = store exp
- deltaclass = deltaexp
- pidec = piexp
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine