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 ::= {i:theta_i}_{i in I}
• Evaluation:
  • tau is type of evaluated phrase
  • tauexp is type of unevaluated phrase
• Examples:
  • comm = store exp
  • deltaclass = deltaexp
  • pidec = piexp