previous up next
Go backward to Recursive Function Definitions
Go up to Top
Go forward to The Factorial Function
RISC-Linz logo

Least Fixed Point Semantics

Theory that establishes meaning of recursive specifications:

  1. Guarantees that every specification has a function satisfying it.
  2. Provides means for choosing the "best" function out of the set of possibilities.
  3. Ensures that the selected function corresponds to the conventional operational treatment of recursion.
    Argument is mapped to defined answer iff simplification of the specification yields a result in a finite number of recursive invocations.

Author: Wolfgang Schreiner
Last Modification: November 5, 1997

previous up next