Go backward to Example Go up to Top Go forward to Typing Rules |
Command
L: intloc | E: intexp |
L:=E: comm |
C1: comm | C2: comm |
C1;C2: comm |
E: boolexp | C1: comm | C2: comm |
if E then C1 else C2 fi: comm |
E: boolexp | C: comm |
while E do C od: comm |
N: int |
N: intexp |
L: intloc |
@L: intexp |
E1: intexp | E2: intexp |
E1+E2: intexp |
E: boolexp |
not E: boolexp |
E1: Texp | E2: Texp |
E1=E2: boolexp |
Location | Numeral |
loci: intloc, if i>0 | n: int, if n in Integer |