The Specialization and Transformation of Constructive Existence Proofs
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Automated Deduction. Pages 413-417.
Abstract
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adapting programs to special situations by transforming constructive synthesis proofs has been reconstructed and is compared with the orig,inal implementation [Goad, 1980b, Goad, 1980a]. A brief account of more general proof transformation applications is also presented.
Peter Madden. 1989. The Specialization and Transformation of Constructive Existence Proofs. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 413–417. https://ijcai.org/proceedings/1989/66
Madden, P. (1989). The Specialization and Transformation of Constructive Existence Proofs. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 (pp. 413–417). IJCAI. https://ijcai.org/proceedings/1989/66
@inproceedings{ijcai1989p66,
title = {The Specialization and Transformation of Constructive Existence Proofs},
author = {Madden, Peter},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {413--417},
year = {1989},
month = {8},
note = {Automated Deduction},
url = {https://ijcai.org/proceedings/1989/66},
}
TY - CPAPER TI - The Specialization and Transformation of Constructive Existence Proofs AU - Madden, Peter T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 413 EP - 417 UR - https://ijcai.org/proceedings/1989/66 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
