Proof Theory of Partial Correctness Verification Systems
- 1 September 1976
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 5 (3) , 355-377
- https://doi.org/10.1137/0205030
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- On the completeness of the inductive assertion methodJournal of Computer and System Sciences, 1975
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- On the Composition of Well-Structured ProgramsACM Computing Surveys, 1974
- The synthesis of loop predicatesCommunications of the ACM, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967