1. Fixpoint Approach to the Theory of Computation.
- Author
-
Manna, Zohar and Vuillemin, Jean
- Subjects
- *
COMPUTER software , *PROGRAMMING language semantics , *RECURSION theory , *RECURSIVE functions , *SOFTWARE verification , *INFORMATION theory , *COMPUTER programming , *LOGIC , *COMPUTER simulation - Abstract
Following the fixpoint theory of Scott, the semantics of computer programs are defined in terms of the least fixpoints of recursive programs. This allows not only the justification of all existing verification techniques, but also their extension to the handling, in a uniform manner of various properties of computer programs, including correctness, termination, and equivalence. [ABSTRACT FROM AUTHOR]
- Published
- 1972
- Full Text
- View/download PDF