Bibliographic Details
| Title: |
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. |
| Subjects: |
Structured programming, Computer software correctness |
| 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. |
| Database: |
Engineering Source |
