Recursive assertions are not enough - or are they?
- 1 January 1979
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 8 (1) , 73-87
- https://doi.org/10.1016/0304-3975(79)90058-6
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- 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
- The case for the assert statementACM SIGPLAN Notices, 1976
- On the completeness of the inductive assertion methodJournal of Computer and System Sciences, 1975
- Program proving: CoroutinesActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The correctness of programsJournal of Computer and System Sciences, 1969
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958