A language independent proof of the soundness and completeness of generalized Hoare logic
- 1 February 1989
- journal article
- research article
- Published by Elsevier in Information and Computation
- Vol. 80 (2) , 165-191
- https://doi.org/10.1016/0890-5401(89)90018-7
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- The ``Hoare Logic'' of CSP, and All ThatACM Transactions on Programming Languages and Systems, 1984
- Ten years of Hoare's logic: A survey— part II: NondeterminismTheoretical Computer Science, 1983
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- A New Incompleteness Result for Hoare's SystemJournal of the ACM, 1978
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967