Back to Search
Start Over
Proof of a Program: FIND.
- Source :
- Communications of the ACM; Jan1971, Vol. 14 Issue 1, p39-45, 7p, 1 Diagram
- Publication Year :
- 1971
-
Abstract
- A proof is given of the correctness of the algorithm "Find." First, an informal description is given of the purpose of the program and the method used. A systematic technique is described for constucting the program proof during the process of coding it, in such a way as to prevent the intrusion of logical errors. The proof of termination is treated as a separate exercise. Finally, some conclusions relating to general programming methodology are drawn. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00010782
- Volume :
- 14
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Communications of the ACM
- Publication Type :
- Periodical
- Accession number :
- 5208043
- Full Text :
- https://doi.org/10.1145/362452.362489