Go backward to Function Procedures Go up to Top Go forward to Type Abstracts

Declaration Abstracts

D ::= D₁; D₂ | var I:T | ...| class I=D | I

• Invocation of a class activates declarations in its body.
• Multiple invocations of same class in a block lead to a redefinition error.

  Renaming of declarations required.

Modules are similar to classes (see continuation course).