Reasoning about programs
- 1 January 1974
- journal article
- review article
- Published by Elsevier in Artificial Intelligence
- Vol. 5 (3) , 235-316
- https://doi.org/10.1016/0004-3702(74)90015-0
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Interactive theorem provingPublished by Association for Computing Machinery (ACM) ,1973
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- Proof of a programCommunications of the ACM, 1971
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Algorithm 64: QuicksortCommunications of the ACM, 1961
- A Class of Non-Analytical Iterative ProcessesThe Computer Journal, 1959