Correspondence
For any parameter binding mechanism, there may exist a corresponding
definition mechanism, and vice versa.
- Elements from domain D may be denotable values of formal parameter
identifiers.
- Elements from D may be also denotable values of declared identifiers.
- Declared identifiers are used no differently than parameter
identifiers.
Compare semantic equations.
Author: Wolfgang Schreiner
Last Modification: December 18, 1997