The Abstraction Principle II

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Variable Declarations
  • Abstract Syntax
  • Semantics of Variables
  • Type-Structures
  • Type-Structure Abstractions
  • Classes and Variables
  • Record Structures
  • Identifier Expressions
  • Type Attributes of Type Structures
  • Semantics of Type Structures I
  • Semantics of Type Structures II
  • Declaration Abstractions
  • Semantics of Declaration Abstractions
  • Alternative Semantics
  • Indexing of Module Components
  • Sharing of Modules
  • Redeclaration of Modules
  • External Modules
  • Modules and Classes
  • Record Introduction Principle
  • Summary (Abstract Syntax)
  • Summary (Type Attributes)
  • Summary (Typing Rules I)
  • Summary (Typing Rules II)
  • Summary (Typing Rules III)
  • Summary (Typing Rules IV)
  • Summary (Typing Rules V)
  • Summary (Semantics I)
  • Summary (Semantics II)
  • Summary (Semantics III)
  • Summary (Semantics IV)
  • Summary (Semantics V)
  • Summary (Semantics VI)

  • Author: Wolfgang Schreiner
    Last Modification: April 23, 1998

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