Peter Madden

According to our database, Peter Madden authored at least 7 papers between 1989 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Recursive Program Optimization Through Inductive Synthesis Proof Transformation.

Peter Madden, Alan Bundy, Alan Smaill

J. Autom. Reason., 1999

1994

Formal Methods for Automated Program Improvement.

Peter Madden

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.

Peter Madden, Ian Green

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).

Peter Madden, Jane Hesketh, Ian Green, Alan Bundy

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

Automatic Program Optimization Through Proof Transformation.

Peter Madden

Proceedings of the Automated Deduction, 1992

1991

Automated program transformation through proof transformation.

Peter Madden

PhD thesis, 1991

1989

The Specialization and Transformation of Constructive Existence Proofs.

Peter Madden

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989