The Logic of Computer Programming
- 1 May 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-4 (3) , 199-229
- https://doi.org/10.1109/tse.1978.231499
Abstract
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.Keywords
This publication has 56 references indexed in Scilit:
- An example of hierarchical design and proofCommunications of the ACM, 1978
- A Methodology for LISP Program Construction from ExamplesJournal of the ACM, 1977
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Improving and refining programs by program manipulationPublished by Association for Computing Machinery (ACM) ,1976
- An interactive program verification systemIEEE Transactions on Software Engineering, 1975
- Verifying programs by algebraic and logical reductionPublished by Association for Computing Machinery (ACM) ,1975
- Theory of Program Structures: Schemes, Semantics, VerificationPublished by Springer Nature ,1975
- Automatic and semiautomatic optimization of SETLPublished by Association for Computing Machinery (ACM) ,1974
- Toward an understanding of data structuresCommunications of the ACM, 1971
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967