Domain Theory I

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Semantics of Loops
  • Recursive Function Definitions
  • Least Fixed Point Semantics
  • The Factorial Function
  • Simplification
  • Partial Functions
  • Partial Functions
  • Partial Functions
  • Functional and Fixed Point
  • q Function
  • q Function
  • Recursive Specifications
  • Factorial Function
  • Double Recursion
  • Simultaneous Definitions
  • While Loops
  • Example
  • While Loops
  • Reasoning about Least Fixed Points
  • Reasoning about Least Fixed Points
    • Author: Wolfgang Schreiner
    Last Modification: November 5, 1997
    [Up] [RISC-Linz] [University] [Search]