Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
2 |
| |||||||||
6 |
| |||||||||
1999 | Madden, Peter [Bundy, Alan] [Smaill, Alan] | Recursive Program Optimization Through Inductive Synthesis Proof Transformation In: Journal of Automated Reasoning [22], 65-115 | Journal Article | |||||||
1995 | Madden, Peter | Program improvement by proof planning In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11), | Proceedings Article | |||||||
1995 | Madden, Peter [Green, Ian] | Calmet, Jacques Campbell, John A. | A General Technique for Automatic Optimization by Proof Planning In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), 80-96 | Proceedings Article | ||||||
1994 | Madden, Peter | Nebel, Bernhard Dreschler-Fischer, Leonie | Formal Methods for Automated Program Improvement In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378 | Proceedings Article | ||||||
1993 | Madden, Peter [Bundy, Alan] | General Proof Theoretic Techniques for Automatic Programing In: Proceedings of the EAST-WEST AI CONFERENCE: From Theory to Practice - EWAIC'93, | Proceedings Article | |||||||
1992 | Madden, Peter | Kapur, Deepak | Automated Program Transformation Through Proof Transformation In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460 | Proceedings Article | ||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
10 |
| |||||||||
2 |
| |||||||||
2 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
4 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
22 |
| |||||||||
1 |
| |||||||||
1 |
|