Effective Axiomatizations of Hoare Logics
- 1 July 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 30 (3) , 612-636
- https://doi.org/10.1145/2402.322394
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Hoare's Logic is incomplete when it does not have to bePublished by Springer Nature ,2005
- Axiomatic Definitions of Programming LanguagesJournal of the ACM, 1982
- Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensionsPublished by Springer Nature ,1980
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979
- An Application of Bin-Packing to Multiprocessor SchedulingSIAM Journal on Computing, 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969