Go backward to Semantics of Eager Evaluation
Go up to Top
Go forward to Semantics

Other Standard Abstractions

P ::= D in C
D ::= fun I=E | proc I=C | const I=N | alias I=L
       | D_1,D_2 | D_1;D_2
C ::= L:=E | C_1;C_2 | if E then C_1 else C_2 fi
       | while E do C od | skip | call I
E ::= N | @L | E_1+E_2 | E_1=E_2 | not E | I
L ::= loc_i | I
N ::= n | I

Example:


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine

Prev Up Next