Proving Theorems about LISP Functions (1975)

Cached

Download Links

by Robert S. Boyer , J Strother Moore
Citations:48 - 2 self

Documents Related by Co-Citation

574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
89 Proving Properties of Programs by Structural Induction – R. M. Burstall - 1969
533 A Computational Logic – R BOYER, J MOORE - 1979
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
21 Some techniques for recursion removal from recursive functions – J Arscan, Y Kodratoff - 1982
7 A Lemma Driven Automatic Theorem Prover for Recursive Function Theory". IJCAI-77 – R S Boyer, J S Moore - 1977
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
30 A partial evaluation procedure for logic programs – K Benkerimi, J W Lloyd - 1990
13 A Semantic Approach to Automatic Program Improvement – J Darlington - 1972
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
571 Assigning meanings to programs – R W Floyd - 1967
146 Proving and applying program transformations expressed with second-order patterns – G Huet, B Lang - 1978
8 The Use of a Formal Simulator to Verify a Simple Real Time Control Program – Robert S. Boyer, Milton W. Green, J Strother Moore - 1990
21 A Verification Condition Generator for FORTRAN – R S Boyer, J S Moore - 1981
37 MJRTY - A Fast Majority Vote Algorithm – Robert S. Boyer, Robert S. Boyer, J Strother Moore, J Strother Moore - 1982
12 C.J.: “Grammar-Related Transformations of Logic Programs – D R Brough, Hogger - 1991
34 Compiling control – M Bruynooghe, D D Schreye, B Krekels - 1989
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
107 Integrating decision procedures into heuristic theorem provers: A case study of linear arithmetic – Robert S. Boyer, J Strother Moore - 1988