previous up next
Go up to Top
Go forward to Parameters and Definitions
RISC-Linz logo

Correspondence

For any parameter binding mechanism, there may exist a corresponding definition mechanism, and vice versa.

Compare semantic equations.


Author: Wolfgang Schreiner
Last Modification: December 18, 1997

previous up next