Go backward to
Typing Rules
Go up to
Top
Go forward to
Typing Rules
Typing Rules
Command
p
|- L:
intloc
p
|- E:
intexp
p
|- L:=E:
comm
p
|- C
_1
:
comm
p
|- C
_2
:
comm
p
|- C
_1
;C
_2
:
comm
p
|- E:
boolexp
p
|- C
_1
:
comm
p
|- C
_2
:
comm
p
|-
if
E
then
C
_1
else
C
_2
fi
:
comm
p
|- E:
boolexp
p
|- C:
comm
p
|-
while
E
do
C
od
:
comm
p
|-
skip
:
comm
Transportation of type assignments.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine