previous up next
Go backward to Record Introduction Principle
Go up to Top
Go forward to Summary (Type Attributes)
RISC-Linz logo

Summary (Abstract Syntax)

P in Program L in Variable
D in Declaration N in Numeral
T in Type-structure X in Identifier-expr
C in Command I in Identifier
E in Expression


P ::= D in C
D ::= D1,D2 | D1;D2 | fun I=E | const I=N
        | proc I=C | var I:T | class I=T
        | module I={D} | import X
T ::= newint | record D end | X
C ::= L:=E | C1;C2 | if E then C1 else C2 fi
        | while E do C od | skip | call X
E ::= N | @L | E1+E2 | E1=E2 | not E | X
L ::= X
N ::= n | X
X ::= I | X.I
Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next