Programming in UNITY

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
  • Maximum of a Set of Numbers
  • Parallel Solutions
  • Parallel Solutions
  • Gaussian Elimination
  • Correctness
  • Program Structuring
  • Program Composition by Union
  • The Union Theorem
  • Proof of Union Theorem
  • Collaries
  • Specifications that Compose
  • Example
  • Hierarchical Program Structures
  • Superposition
  • Rules of Superposition
  • The Superposition Theorem
  • Examples
  • Properties
  • Summary
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine