previous up next
Go backward to Semantics of Type Structures II
Go up to Top
Go forward to Semantics of Declaration Abstractions
RISC-Linz logo

Declaration Abstractions

D ::= ...| module I={D} | import I

module M = { class K = newint; var A: K;
    proc P = A:=0 };
var B: newint;
import M
in call P; B:=@A

Declarations in M is not visible in program until M is imported.

Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next