Go backward to
Semantics of Type Structures I
Go up to
Top
Go forward to
Declaration Abstractions
Semantics of Type Structures II
Type-structure
[[
P
|-
newint
:
intloc
class
]]
e
s
=
allocate
(
s
)
[[
P
|-
record
D
end
:
P
class
]]
e
s
=
[[
P
|- D:
P
dec
]]
e
s
[[
P
|- X:
D
class
]]
e
s
=
p(s)
where
p
= [[
P
|- X:
D
class
]]
e
Identifier-expr
[[
P
|- I:
H
]]
e
=
v
,
where (I=
v
) in
e
[[
P
|- X.I:
H
]]
e
=
v
,
where (I=
v
) in [[
P
|- X:
P
1
]]
e
Author:
Wolfgang Schreiner
Last Modification: April 23, 1998