Typing Rules

E$$1: intloc	E$$2: intexp
E$$1:=E$$2: comm

E$$1: comm	E$$2: comm
E$$1;E$$2: comm

E$$1: boolexp	E$$2: comm	E$$3: comm
if E$$1 then E$$2 else E$$3 fi: comm

skip: comm

E$$1: boolexp	E$$2: comm
while E$$1 do E$$2 od: comm

E$$1: intexp	E$$2: intexp
E$$1+E$$2: intexp

E$$1: tauexp	E$$2: tauexp
E$$1=E$$2: boolexp

E: boolexp

not E: boolexp

E: intloc

@E: intexp

N: intexp

L: intloc