Peter Madden

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Peter Madden, Alan Bundy, Alan Smaill
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reason. 22 (1) (1999)
Peter Madden
Formal Methods for Automated Program Improvement. KI (1994)
Peter Madden, Ian Green
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. AISMC (1994)
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)
Peter Madden
Automatic Program Optimization Through Proof Transformation. CADE (1992)
Peter Madden
The Specialization and Transformation of Constructive Existence Proofs. IJCAI (1989)