Go backward to
Lazy Evaluation Semantics
Go up to
Top
Go forward to
Eager Evaluation Semantics
Variable Declarations
New block construct for variables:
Allocate location, bind it to identifier V and let V be visible to command E.
pi
-U- { V:
intloc
} |- E:
comm
pi
|-
new
V
in
E:
comm
[[
pi
|-
new
V
in
E
:
comm
]]
e
s
=
free
(
size-of
s
)
s
2
where (
l
,
s
1
) =
allocate
s
and
s
2
= [[
pi
-U- { V:
intloc
} |- E:
comm
]]
(
e
-U- { V=
l
})
s
1
Lazy evaluation semantics is preserved.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine