Go up to Top Go forward to Parameterized Abstractions

The Parameterization Principle

Phrases from any semantically meaningful syntactic class may be parameters.

• Potential parameters:
  • Numerals, expressions, locations, declarations, commands, type-structures, ...
• Potential constructs for parameterization:
  • For the moment, restrict to abstractions.
  • Applications of abstractions in variety of situations.