Go up to Top Go forward to Abstraction

Language Design Principles

• Abstraction

  Any syntax domain of a language may have definition and invocation mechanisms for abstracts (named entities).

• Parameterization

  A formal parameter to an abstract may be from any syntax domain.

• Correspondence

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

• Qualification

  Every syntax domain may have a block construct for admitting local declarations.

Many important language constrcuts are derived from these principles: subroutines, parameters, block-constructs, ...