Treffer: Proof Techniques for Hierarchically Structured Programs.
Title:
Proof Techniques for Hierarchically Structured Programs.
Authors:
Source:
Communications of the ACM. Apr1977, Vol. 20 Issue 4, p271-283. 13p. 5 Diagrams, 5 Charts.
Subject Terms:
Database:
Business Source Premier
Weitere Informationen
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.