Go backward to
Summary (Type Attributes)
Go up to
Top
Go forward to
Summary (Typing Rules II)
Summary (Typing Rules I)
U-abstraction definition and invocation:
P
|- U:
H
P
|-
define
I=U: {I:
H
}
dec
P
|-
invoke
I:
H
if (I:
H
) in
P
P
U {I:
H
} |- U:
H
P
|-
rec-define
I=U: {I:
H
}
dec
Program:
{} |- D:
P
dec
P
|- C:
comm
|- D
in
C:
comm
Type-Structure
P
|-
newint
:
intloc
class
P
|- D:
P
1
dec
P
|-
record
D
end
:
P
1
class
P
|- X:
D
class
P
|- X:
D
class
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine