The Qualification Principle

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, 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)
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine