|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
81
|
Proving Properties of Programs by Structural Induction
– R. M. Burstall
- 1969
|
|
160
|
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
– Yoshihiko Futamura
- 1999
|
|
19
|
Some techniques for recursion removal from recursive functions
– J Arsac, Y Kodratoff
- 1982
|
|
505
|
Assigning meanings to programs
– R W Floyd
- 1967
|
|
7
|
A Lemma Driven Automatic Theorem Prover for Recursive Function Theory". IJCAI-77
– R S Boyer, J S Moore
- 1977
|
|
352
|
Simplification by cooperating decision procedures
– Greg Nelson, Derek C. Oppen
- 1979
|
|
158
|
Rippling: A Heuristic for Guiding Inductive Proofs
– Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill
- 1993
|
|
29
|
A partial evaluation procedure for logic programs
– K Benkerimi, J W Lloyd
- 1990
|
|
12
|
A Semantic Approach to Automatic Program Improvement
– J Darlington
- 1972
|
|
84
|
The promotion and accumulation strategies in transformational programming
– R S Bird
- 1984
|
|
142
|
Proving and applying program transformations expressed with second-order patterns
– G P Huet, B Lang
- 1978
|
|
24
|
MJRTY - A Fast Majority Vote Algorithm
– Robert S. Boyer, Robert S. Boyer, J Strother Moore, J Strother Moore
- 1982
|
|
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
|
|
20
|
A verification condition generator for FORTRAN
– R S Boyer, J S Moore
- 1981
|
|
11
|
Grammar-related transformations of logic programs
– Derek R Brough, Christopher J Hogger
- 1991
|
|
32
|
Compiling Control
– M Bruynooghe, D De Schreye, B Krekels
- 1989
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
43
|
A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover
– Matt Kaufmann
- 1988
|
