On the completeness of the inductive assertion method
- 31 December 1975
- journal article
- research article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 11 (3) , 323-357
- https://doi.org/10.1016/s0022-0000(75)80056-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Decidable Properties of Monadic Functional SchemasJournal of the ACM, 1973
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- The correctness of programsJournal of Computer and System Sciences, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967