@ARTICLE{Madden-JAR,
AUTHOR = {Madden, Peter and Bundy, Alan and Smaill, Alan},
TITLE = {Recursive Program Optimization Through Inductive Synthesis Proof Transformation},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1999},
NUMBER = {1},
VOLUME = {22},
PAGES = {65--115},
ISBN = {0168-7433},
NOTE = {Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Uwe Brahm | Created
01/14/1995 06:52:17 PM |
Revisions
15.
14.
13.
12.
11. | Editor(s)
Christine Kiesel
Manfred Jaeger
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
30.08.2001 10:13:18
27/08/2001 11:00:10
24.03.97 21:08:40
24.03.97 21:08:33
24.03.97 21:08:27 |