Go backward to
Summary (Semantics V)
Go up to
Top
Summary (Semantics VI)
Variable
[[
P
|- X:
intloc
]]
e
=
l
where
l
= [[
P
|- X:
intloc
]]
e
Numeral
[[
P
|-
n
:
int
]]
e
=
n
[[
P
|- X:
int
]]
e
=
v
where
v
= [[
P
|- X:
int
]]
e
Identifier-expr
[[
P
|- I:
H
]]
e
=
v
, where (I=
v
) in
e
[[
P
|- X.I:
H
]]
e
=
v
,
where
r
= [[
P
|- X:
P
1
]]
e
and (I=
v
) in
r
Author:
Wolfgang Schreiner
Last Modification: April 23, 1998