Back to Search
Start Over
An Example of Hierarchical Design and Proof.
- Source :
-
Communications of the ACM . Dec1978, Vol. 21 Issue 12, p1064-1075. 12p. 4 Diagrams. - Publication Year :
- 1978
-
Abstract
- Hierarchical programming is being increasingly recognized as helpful in the construction of large programs. Users of hierarchical techniques claim or predict substantial increases in productivity and in the reliability of the programs produced. In this paper we describe a formal method for hierarchical program specification, implementation, and proof. We apply this method to a significant list processing problem and also discuss a number of extensions to current programming languages that ease hierarchical program design and proof. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00010782
- Volume :
- 21
- Issue :
- 12
- Database :
- Academic Search Index
- Journal :
- Communications of the ACM
- Publication Type :
- Periodical
- Accession number :
- 5495669
- Full Text :
- https://doi.org/10.1145/359657.359667