The Abstraction Principle II

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, 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)
  • References

  • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine