Go backward to
Alternative Semantics
Go up to
Top
Go forward to
Sharing of Modules
Indexing of Module Components
module
M
= {
class
K
=
newint
;
var
A
:
K
;
proc
P
=
A
:=0 };
var
B
:
newint
;
in
call
M
.
P
;
B
:=@
M
.
A
Eager evaluation of module definition is essential.
Ensures that storage for
M
.
A
is allocated when
M
.
P
is called.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine
