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/}
}