Back to Search Start Over

Proof Techniques for Hierarchically Structured Programs.

Authors :
Robinson, Lawrence
Levitt, Karl N.
Manacher, G.
Graham, S.L.
Source :
Communications of the ACM. Apr1977, Vol. 20 Issue 4, p271-283. 13p. 5 Diagrams, 5 Charts.
Publication Year :
1977

Abstract

Presents the method for describing and structuring programs simplifying proofs of its correctness. Application of the method to semi-automatic and automatic proofs; Concept of abstract programs; Description of abstract machine; Definition of the concept of correctness of a program P of Floyd.

Subjects

Subjects :
*STRUCTURED programming
*COMPUTER software correctness

Details

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

Tools

Authors Abstract Subjects Details