Inductive methods for proving properties of programs
- 1 January 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- No. 14,p. 27-50
- https://doi.org/10.1145/942580.807070
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Implementation and applications of Scott's logic for computable functionsPublished by Association for Computing Machinery (ACM) ,1972
- Another recursion induction principleCommunications of the ACM, 1971
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963