Peter Madden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–1994
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | AISC | A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. | Peter Madden, Ian Green |
| 1994 | KI | Formal Methods for Automated Program Improvement. | Peter Madden |
| 1993 | LOPSTR | A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). | Peter Madden, Jane Hesketh, Ian Green, Alan Bundy |
| 1992 | CADE | Automatic Program Optimization Through Proof Transformation. | Peter Madden |
| 1989 | IJCAI | The Specialization and Transformation of Constructive Existence Proofs. | Peter Madden |