 | 1999 |
|---|
| 6 |       | Peter Madden,
Alan Bundy,
Alan Smaill:
Recursive Program Optimization Through Inductive Synthesis Proof Transformation.
J. Autom. Reasoning 22(1): 65-115 (1999) |
| 1994 |
|---|
| 5 | | Peter Madden,
Ian Green:
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.
AISMC 1994: 64-79 |
| 4 | | Peter Madden:
Formal Methods for Automated Program Improvement.
KI 1994: 367-378 |
| 1993 |
|---|
| 3 | | Peter Madden,
Jane Hesketh,
Ian Green,
Alan Bundy:
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
LOPSTR 1993: 64-66 |
| 1992 |
|---|
| 2 |  | Peter Madden:
Automatic Program Optimization Through Proof Transformation.
CADE 1992: 446-460 |
| 1989 |
|---|
| 1 | | Peter Madden:
The Specialization and Transformation of Constructive Existence Proofs.
IJCAI 1989: 413-418 |
