Ten Years of Hoare's Logic: A Survey—Part I
- 1 October 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 3 (4) , 431-483
- https://doi.org/10.1145/357146.357150
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logicTheoretical Computer Science, 1980
- Proving correctness of coroutines without history variablesActa Informatica, 1980
- Recursive assertions are not enough - or are they?Theoretical Computer Science, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979
- The Multiple Assignment StatementIEEE Transactions on Software Engineering, 1978
- Program proving: CoroutinesActa Informatica, 1973
- Proof of correctness of data representationsActa Informatica, 1972
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971