A view of program verification
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6) , 534-545
- https://doi.org/10.1145/390016.808477
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- The new math of computer programmingCommunications of the ACM, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- On the Composition of Well-Structured ProgramsACM Computing Surveys, 1974
- The synthesis of loop predicatesCommunications of the ACM, 1974
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- A structured paging systemThe Computer Journal, 1973
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- Proof of a structured program: 'The sieve of Eratosthenes'The Computer Journal, 1972
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- Computer Interval Arithmetic: Definition and Proof of Correct ImplementationJournal of the ACM, 1970