Your search returned the following 6 documents:

6. Recursive Program Optimization Through Inductive Synthesis Proof Transformation
   Peter Madden, Alan Bundy, and Alan Smaill
   Journal of Automated Reasoning 22 (1): 65-115, 1999. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken
   
5. A General Technique for Automatic Optimization by Proof Planning
   Peter Madden and Ian Green
   In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), King's College, Cambridge, England, August 3-5, 1994, 1995, 80-96. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken. Extended version to appear in Journal of Automated Reasoning
   
4. Program improvement by proof planning
   Peter Madden
   In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11), University of Wales, Swansea, Wales, 2-5 April 1995., 1995
   
3. Formal Methods for Automated Program Improvement
   Peter Madden
   In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, 1994, 367-378. Note: Also available as Research Report MPI-I-94-238, Max-Planck-Institut für Informatik, Saarbrücken
   
2. Automated Program Transformation Through Proof Transformation
   Peter Madden
   In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), Saratoga Springs, NY, 1992, 446-460
   
1. General Proof Theoretic Techniques for Automatic Programing
   Peter Madden and Alan Bundy
   In: Proceedings of the EAST-WEST AI CONFERENCE: From Theory to Practice - EWAIC'93, 1993