Go backward to
Summary (Semantics II)
Go up to
Top
Go forward to
Summary (Semantics IV)
Summary (Semantics III)
Declaration
[[
P
|-
module
I={D}: {I:
P
1
}
dec
]]
e
s
=
({I=
e
1
},
s
1
)
where (
e
1
,
s
1
) = [[
P
|- D:
P
1
dec
]]
e
s
.
[[
P
|-
import
I:
P
1
dec
]]
e
s
= (
e
1
,
s
)
where
e
1
= [[
P
|-X:
P
1
]]
e
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
Author:
Wolfgang Schreiner
Last Modification: April 23, 1998