Go backward to
Type Attributes of Type Structures
Go up to
Top
Go forward to
Semantics of Type Structures II
Semantics of Type Structures I
Program
[[D
in
C:
comm
]]
s
= [[
P
1
|- C:
comm
]]
e
1
s
,
where (
e
1
,
s
1
) = [[{} |- D:
P
1
dec
]]{}
s
Declaration
[[
P
|-
define
I=U: {I:
H
}
dec
]]
e
s
= ({I=
f
},
s
)
where
f
s'
= [[
P
|- U:
H
]]
e
s'
and U in{E, T, C}
[[
P
|- D
1
;D
2
: (
P
1
U
P
2
)
dec
]]
e
s
=
(
e
1
union
e
2
,
s
2
) where
(
e
1
,
s
1
) = [[
P
|- D
1
:
P
1
dec
]]
e
s
(
e
2
,
s
2
) = [[
P
U
P
1
|- D
2
:
P
2
dec
]] (
e
union
e
1
)
s
1
[[
P
|-
var
I:T: {I:
D
}
dec
]]
e
s
= ({I=
v
},
s'
)
where (
v
,
s'
) = [[
P
|- T:
D
class
]]
e
s
Author:
Wolfgang Schreiner
Last Modification: April 23, 1998
