previous up next
Go backward to Denotational Semantics
Go up to Top
Go forward to Consequences of Correspondence
RISC-Linz logo

The Correspondence Principle

D in Declaration
U in Any-syntax-domain
A in Actual-parameter

D ::= ...| define I1(I2: theta) = U
U ::= ...| invoke I(A)
A ::= N | E | C | L | D | T

For every abstraction form there may be a corresponding parameterization form (and vice versa) with same binding semantics.

Author: Wolfgang Schreiner
Last Modification: May 7, 1998

previous up next