previous up next
Go backward to Abstractions
Go up to Top
Go forward to Type Attributes of Functions
RISC-Linz logo

Expression Abstractions

Expression abstractions = functions.
P in Program L in Location
D in Declaration N in Numeral
C in Command I in Identifier
E in Expression

P ::= D in C
D ::= fun I=E | D1,D2 | D1;D2
C ::= L:=E | C1;C2 | if E then C1 else C2 fi
        | while E do C od | skip
E ::= N | @L | E1+E2 | E1=E2 | not E | I
L ::= loci, i>0
N ::= n, n in Int

Author: Wolfgang Schreiner
Last Modification: April 2, 1998

previous up next