Go backward to
Summary (Semantics IV)
Go up to
Top
Go forward to
Summary (Semantics VI)
Summary (Semantics V)
Expression
[[
P
|- N:
intexp
]]
e
s
= [[
P
|- N:
int
]]
e
[[
P
|- @L:
intexp
]]
e
s
=
lookup
([[
P
|-L:
intloc
]]
e
,
s
)
[[
P
|- E
1
+E
2
:
intexp
]]
e
s
=
plus
(
[[
P
|- E
1
:
intexp
]]
e
s
, [[
P
|- E
2
:
intexp
]]
e
s
)
[[
P
|- E
1
=E
2
:
boolexp
]]
e
s
=
equal
(
[[
P
|- E
1
:
intexp
]]
e
s
, [[
P
|- E
2
:
intexp
]]
e
s
)
[[
P
|-
not
E:
boolexp
]]
e
s
=
not
([[
P
|- E:
boolexp
]]
e
s
)
[[
P
|- X:
T
exp
]]
e
s
=
f
(
s
)
where
f
= [[
P
|-X:
T
expm
]]
e
Author:
Wolfgang Schreiner
Last Modification: April 23, 1998