Go backward to
Typing Rules
Go up to
Top
Go forward to
Expression Parameters
Parameter Forms
Command abstractions
Abstraction:
pi
-U- {I
2
:
theta
1
} |- C:
comm
pi
|-
proc
I
1
(I
2
:
theta
) = C: {I
1
:
theta
->
comm
}
dec
Invokation:
pi
|- U:
theta
pi
|-
call
I(U):
comm
if (I:
theta
->
comm
) in
pi
Other forms similar.
All
varieties of abstractions are legible for parameters!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine