Go backward to Higher-Order Programming Languages
Go up to Top
Go forward to Lazy Evaluation Semantics
Semantics of Records and Lambda Abstractions
- Core part of language:
-
[[pi |- L:=E: comm]] =
update([[pi |- L: intloc]],
[[pi |- E: intexp]] , )
-
[[pi |- E;E: comm]] =
[[pi |- E: comm]] ([[pi |- E:
comm]] )
-
[[pi |- E+E: intexp]] =
plus([[pi |- E: intexp]] ,
[[pi |- E: intexp]] )
-
[[pi |- N: intexp]] = [[N: int]]
-
[[pi |- loc: intloc]] = loc
- Type semantics:
-
[[comm]] = Store
Store
-
[[tauexp]] = Store [[tau]]
Addition of environment does not change meaning of core language
programs.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine