A System which Synthesizes Array-Manipulating Programs from Specifications
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
A system is presented for constructing array-manipulating programs from given specifications. The system accepts high level specifications and produces recursive programs in an Algol-like language. Restriction to a specific domain and use of powerful techniques such as first-order matching or generalization make our system very efficient. It has been implemented in LISP on a small computer and has been tested for a large number of examples. The general techniques we use, are briefly discussed and the synthesis of one program produced is presented.
@inproceedings{ijcai1979p17,
title = {A System which Synthesizes Array-Manipulating Programs from Specifications},
author = {Bidoit, Michel and Gresse, Christian and Guiho, Gérard D.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/17},
}
TY - CPAPER TI - A System which Synthesizes Array-Manipulating Programs from Specifications AU - Bidoit, Michel AU - Gresse, Christian AU - Guiho, Gérard D. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/17 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
