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.#R##N##R##N#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.#R##N##R##N#The general techniques we use, are briefly discussed and the synthesis of one program produced is presented.
['Michel Bidoit', 'Christian Gresse', 'G. Guiho']
A system which synthesizes array-manipulating programs from specifications