previous up next
Go backward to Declaration Abstractions
Go up to Top
Go forward to Alternative Semantics
RISC-Linz logo

Semantics of Declaration Abstractions

module M = {var A: newint};
module N = {var B: newint};
import M in A:=0

Only one location is allocated!

Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next