Record Structures

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

• When activated, record D end allocates store and returns (declaration) value.
• Activation by variable name declaration.

class R = record var X: newint, var Y: newint end
var A: R;
var B: R

var A: newint;
class R = record var C: newint;
    proc P = (C:=@A+1) end;
var F: R; var G: R
in ...F.C ...call G.P ...