---
title: "A System which Synthesizes Array-Manipulating Programs from Specifications"
authors:
  - "Michel Bidoit"
  - "Christian Gresse"
  - "Gérard D. Guiho"
doi: ""
url: "https://ijcai.org/proceedings/1979/17"
pdf: "https://ijcai.org/proceedings/1979/0017.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# A System which Synthesizes Array-Manipulating Programs from Specifications

Michel Bidoit, Christian Gresse, Gérard D. Guiho

*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.