Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

Publications Master Template, generated: 7:26, 21 September 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Peter Madden, Alan Bundy, and Alan Smaill
    Recursive Program Optimization Through Inductive Synthesis Proof Transformation
    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
  2. Peter Madden and Ian Green
    A General Technique for Automatic Optimization by Proof Planning
    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
  3. Peter Madden
    Program improvement by proof planning
    In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11), University of Wales, Swansea, Wales, 2-5 April 1995., 1995
  4. Peter Madden
    Formal Methods for Automated Program Improvement
    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
  5. Peter Madden
    Automated Program Transformation Through Proof Transformation
    In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), Saratoga Springs, NY, 1992, 446-460
  6. Peter Madden and Alan Bundy
    General Proof Theoretic Techniques for Automatic Programing
    In: Proceedings of the EAST-WEST AI CONFERENCE: From Theory to Practice - EWAIC'93, 1993