Go backward to The Parameterization Principle
Go up to Top
Go forward to Typing Rules
Parameterized Abstractions
- Parameterized V-abstraction:
- define I(I:theta) = V
- invoke I(U)
- Parameters:
- Formal parameter
- Actual parameter .
- Typing of formal parameters:
- Type attribute instead of type-structure value .
- Type-structure domain only describes variables.
- May use constant values (integers, commands, etc) as parameters.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine