previous up next
Go backward to Introduction
Go up to Top
Go forward to Record Introduction
RISC-Linz logo

Typing Rules

E1: intloc E2: intexp
E1:=E2: comm
E1: comm E2: comm
E1;E2: comm


E1: boolexp E2: comm E3: comm
if E1 then E2 else E3 fi: comm


skip: comm
E1: boolexp E2: comm
while E1 do E2 od: comm


E1: intexp E2: intexp
E1+E2: intexp
E1: tauexp E2: tauexp
E1=E2: boolexp


E: boolexp
not E: boolexp


E: intloc
@E: intexp
N: intexp
L: intloc

Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next