Back to Search Start Over

Fixpoint Approach to the Theory of Computation.

Authors :
Manna, Zohar
Vuillemin, Jean
Source :
Communications of the ACM. Jul1972, Vol. 15 Issue 7, p528-536. 9p. 1 Diagram.
Publication Year :
1972

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]

Subjects

Subjects :
*COMPUTER software
*PROGRAMMING language semantics
*RECURSION theory
*RECURSIVE functions
*SOFTWARE verification
*INFORMATION theory
*COMPUTER programming
*LOGIC
*COMPUTER simulation

Details

Language :
English
ISSN :
00010782
Volume :
15
Issue :
7
Database :
Academic Search Index
Journal :
Communications of the ACM
Publication Type :
Periodical
Accession number :
5263745
Full Text :
https://doi.org/10.1145/361454.361460
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details