previous up next
Go backward to Type-Structures
Go up to Top
Go forward to Classes and Variables
RISC-Linz logo

Type-Structure Abstractions

D ::= ...| var I:T | class I=T
T ::= newint | I

class M = newint
var A:M; var B:M;
var C:newint
in A:=0; B:=@A+@C

Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next