Peter Madden (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5 Peter Madden, Ian Green: A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. AISMC 1994: 64-79

3 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: 64-66

Selection of 2 from 6 records - Peter Madden has 4 coauthors

5		Peter Madden, Ian Green: A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. AISMC 1994: 64-79
3		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: 64-66