Axiomatic approach to total correctness of programs
- 1 January 1974
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 3 (3) , 243-263
- https://doi.org/10.1007/bf00288637
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Algorithm 64: QuicksortCommunications of the ACM, 1961