Go backward to Introduction Go up to Top Go forward to Record Introduction |
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