A System Which Synthesizes Array-Manipulating Programs from Specifications
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.
Cite
Text
Bidoit et al. "A System Which Synthesizes Array-Manipulating Programs from Specifications." International Joint Conference on Artificial Intelligence, 1979.Markdown
[Bidoit et al. "A System Which Synthesizes Array-Manipulating Programs from Specifications." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/bidoit1979ijcai-system/)BibTeX
@inproceedings{bidoit1979ijcai-system,
title = {{A System Which Synthesizes Array-Manipulating Programs from Specifications}},
author = {Bidoit, Michel and Gresse, Christian and Guiho, Gérard D.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {63-65},
url = {https://mlanthology.org/ijcai/1979/bidoit1979ijcai-system/}
}