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 I₂
  • Actual parameter U.
• Typing of formal parameters:
  • Type attribute theta instead of type-structure value T.
  • Type-structure domain only describes variables.
  • May use constant values (integers, commands, etc) as parameters.