Peter Madden (Selection)

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

6		Peter Madden, Alan Bundy, Alan Smaill: Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reasoning 22(1): 65-115 (1999)
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