The UNITY Model

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
  • Example: Scheduling a Meeting
  • Operational Viewpoint
  • UNITY Viewpoint
  • A Simple Program
  • Another Program
  • Proof of Correctness
  • Mapping the Program to Machines
  • Yet Another Solution
  • The UNITY Notation
  • Enumerated Assignments
  • Quantified Assignments
  • Assign-section
  • Initially-section
  • Always-section
  • Quantified Expression
  • Examples
  • Sorting
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine