Hoare Logic for Mutual Recursion and Local Variables
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 168-180
- https://doi.org/10.1007/3-540-46691-6_13
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Programming Logic for Sequential JavaPublished by Springer Nature ,1999
- Auxiliary variables and recursive proceduresPublished by Springer Nature ,1997
- Mechanical verification of mutually recursive proceduresPublished by Springer Nature ,1996
- Winskel is (almost) rightPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978