Go up to Top Go forward to Denotation of Parameters

Parameterization

Abstracts usually carry parameters.

• Parameters = dummy identifiers.
• Replaced by values when abstract invoked.
• Formal parameters and actual parameters.
• Formal parameter [[I]] used in positions of B-constructs.
• Actual parameter bound to [[I]] must be from syntax domain B.
• Expression parameters, command parameters, type parameters, ...

Formal parameter to an abstract may be from any syntax domain.