Verifying programs by algebraic and logical reduction
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6) , 473-481
- https://doi.org/10.1145/390016.808471
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Algorithm 245: TreesortCommunications of the ACM, 1964