An Assessment of Techniques for Proving Program Correctness
- 1 June 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 4 (2), 97-147
- https://doi.org/10.1145/356599.356602
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Software ReliabilityComputer, 1971
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970
- Computer Programs can be Proved CorrectPublished by Springer Science and Business Media LLC ,1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Resolution With MergingJournal of the ACM, 1968
- Assigning meanings to programsProceedings of Symposia in Applied Mathematics, 1967
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960
- Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp.The Journal of Symbolic Logic, 1941