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 |