{"type":"ScholarlyArticle","title":"A System which Synthesizes Array-Manipulating Programs from Specifications","authors":[{"name":"Michel Bidoit","slug":"michel-bidoit","given":"Michel","family":"Bidoit","affiliation":"Laboratoire de Recherche en Informatique Batiment n° 490 Universite de Paris-Sud 91405 ORSAY ( France"},{"name":"Christian Gresse","slug":"christian-gresse","given":"Christian","family":"Gresse","affiliation":"Laboratoire de Recherche en Informatique Batiment n° 490 Universite de Paris-Sud 91405 ORSAY ( France"},{"name":"Gérard D. Guiho","slug":"gerard-d-guiho","given":"Gérard D.","family":"Guiho","affiliation":"Laboratoire de Recherche en Informatique Batiment n° 490 Universite de Paris-Sud 91405 ORSAY ( France"}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1979/17","pdf":"https://ijcai.org/proceedings/1979/0017.pdf","markdown":"https://ijcai.org/proceedings/1979/17.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/17","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":17,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[{"position":1,"raw":"li&twaDD, krhhn.aavaa.y \"Con.rructina proarau froa .. :•pla c:oaaputatioo IDI Traae. on Softvare Eq., vol. 2, a• l , Sept. 1976 .","title":"pla c:oaaputatioo IDI Traae","authors":"Krhhn","year":"1976","venue":"on Softvare Eq","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"s.._.u P . D. \"A Mthodoloay for LISP proaraa c:ooatruction fr011. exaaplet\" . Jou1'DIIl of ACII 24-1, 1977.","title":"A Mthodoloay for LISP proaraa c:ooatruction fr011. exaaplet","authors":"P D","year":"1977","venue":"Jou1'DIIl of ACII","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Cui ho C., Jouanuud J . P. 11 lnhrence of function• vitb an interactive eyet•\". Machia.a Jatelliaeoc:a 9, 1977 .","title":"11 lnhrence of function• vitb an interactive eyet","authors":"C Cui Ho, J P Jouanuud","year":"1977","venue":"Machia.a Jatelliaeoc","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"lodratoff T . \"Cboix d'un proar-. LISP correeporwtant l un axdlph\". Coqrle APCIT , lac:onaahaance dea rora .. , 1971.","title":"Cboix d'un proar-. LISP correeporwtant l un axdlph","authors":"T","year":"1971","venue":"Coqrle APCIT , lac:onaahaance dea rora","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"UJ Nanna Z. , Waldlnaar 1 . \"Syntheai a : Dr••••Proaraa\". Techrial mcea 1)6 , su. 1977 .","title":"Waldlnaar 1 . \"Syntheai a : Dr••••Proaraa","authors":"Z Uj Nanna","year":"1977","venue":"Techrial mcea","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"libel V., Purbach o., Schreiber J .r. \"Strauait~ for the 1ynthaeh of alaorithat\". AISI/Ct Conferaoc:a on Artificial Intelliaence , KMiboura, 1971.","title":"Strauait~ for the 1ynthaeh of alaorithat","authors":"V Libel, Purbach O, J R Schreiber","year":"1971","venue":"AISI/Ct Conferaoc:a on Artificial Intelliaence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Valdiqer I . \"Conatructina proaraa autoutically udq thaor .. provina\".","title":"Conatructina proaraa autoutically udq thaor","authors":"I Valdiqer","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Pd.D thath. Carneai• Mellon, 1969 .","title":null,"authors":"D Pd, Thath, Carneai","year":"1969","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"I) Veabrait I . \"Coal Directed proar• tranatorutioae\" . DE Tranaa\\ we .... lq. Vol. 2, a• 2, 1976.","title":"Coal Directed proar• tranatorutioae","authors":"I) Veabrait, I","year":"1976","venue":"DE Tranaa\\ we","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Huet C. \"L'unUicatioa dane he lana•&•• 1,2, ••• w\". 'D'ICh ct;,Ducb'at d' Et&at Unh•erdt' r.rh VII, 1976 .","title":"D'ICh ct;,Ducb'at d' Et&at Unh•erdt' r.rh","authors":"C Huet","year":"1976","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Creu11ay P. \"Contribut i on l la dffinition intarpdr•~lve « ?! l'i~Dl~tA tioe dee l•bda lana•a••\"• Thf1a de Doctorat d'Etat, Uni.v . PArh Vll , 1977 .","title":"Contribut i on l la dffinition intarpdr•~lve « ?! l'i~Dl~tA tioe dee l•bda lana•a","authors":"P Creu11ay","year":"1977","venue":"Thf1a de Doctorat d'Etat","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Ill Craua C. It Cuiho C. \"!tude comparative dee proar-• da eynthfu Je proar.-ae\" . Conarfe A.FCET Infot'alt ique, 1971 .","title":"!tude comparative dee proar-• da eynthfu Je proar.-ae","authors":"Ill Craua, C It Cuiho, C","year":"1971","venue":"Conarfe A.FCET Infot'alt ique","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Cuttaa J. , Koroviu !., Mol~&r D. l . •~. dalian of data typ•• ..,.~cit i ,a iun leeearch leport, lnforution Schncae lftltituta, Marina del lay, CA i itmi t•.","title":"dalian of data typ","authors":"J Cuttaa, ! Koroviu, D L Mol~&r","year":null,"venue":"~cit i ,a iun leeearch leport, lnforution Schncae lftltituta","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}