previous up next
Go backward to Abstractions
Go up to Top
Go forward to Command Abstracts
RISC-Linz logo

Command Abstracts

Command abstracts = procedures.

D ::= D1; D2 | var I:T | proc I=C
C ::= C1; C2 | L:=E | begin D;C end | I | ...

Denotation of abstract's body:

Possible scoping mechanisms.


Author: Wolfgang Schreiner
Last Modification: December 18, 1997

previous up next