The Qualification Principle

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • The Qualification Principle
  • Command Blocks
  • Store Algebra
  • Semantics of Command Block
  • Scope
  • Dynamic Scoping
  • Semantics of Dynamic Scoping
  • Extent
  • Escaping Locations
  • Escaping Locations
  • Extent in Other Block Forms
  • Declaration Blocks
  • Type Structure Blocks
  • Objects and Classes
  • Inheritance of Class Structures
  • Inheritance Issues
  • Object-Oriented Languages
  • Dynamic Scoping and Self
  • The Nature of Self
  • Problems with Method Redefinition
  • Problems with Subtyping
  • Dynamically Scoped Objects
  • Subtyping
  • Minimal Types
  • Denotational Semantics
  • Extension of Subtyping
  • Subtyping of Function Types
  • The Copy Rule for Blocks
  • Record Introduction Principle
  • Summary (Syntax)
  • Summary (Semantics)

  • Author: Wolfgang Schreiner
    Last Modification: May 14, 1998

    [Up] [RISC-Linz] [University] [Search]