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 CompilerCompiler
– 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". IJCAI77
– 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 secondorder 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.: â€œGrammarRelated 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
