Floyd's principle, correctness theories and program equivalence
- 28 February 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 17 (2) , 113-149
- https://doi.org/10.1016/0304-3975(82)90001-9
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Some applications of topology to program semanticsPublished by Springer Nature ,2005
- A proof system for the first-order relational calculusJournal of Computer and System Sciences, 1980
- Final algebra semantics and data type extensionsJournal of Computer and System Sciences, 1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Consistent and complementary formal theories of the semantics of programming languagesActa Informatica, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The correctness of programsJournal of Computer and System Sciences, 1969