dblp.uni-trier.dewww.uni-trier.de

Peter Madden Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
6 Peter Madden, Alan Bundy, Alan Smaill: Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reasoning 22(1): 65-115 (1999)
1994
5 Peter Madden, Ian Green: A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. AISMC 1994: 64-79
4 Peter Madden: Formal Methods for Automated Program Improvement. KI 1994: 367-378
1993
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
1992
2EEPeter Madden: Automatic Program Optimization Through Proof Transformation. CADE 1992: 446-460
1989
1 Peter Madden: The Specialization and Transformation of Constructive Existence Proofs. IJCAI 1989: 413-418

Coauthor Index

1Alan Bundy [3] [6]
2Ian Green [3] [5]
3Jane Hesketh [3]
4Alan Smaill [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)