{"type":"ScholarlyArticle","title":"Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a \"B.M.W.\" Matching Technique","authors":[{"name":"Jean-Pierre Jouannaud","slug":"jean-pierre-jouannaud","given":"Jean-Pierre","family":"Jouannaud","affiliation":""},{"name":"Yves Kodratoff","slug":"yves-kodratoff","given":"Yves","family":"Kodratoff","affiliation":""}],"abstract":"This paper describes first a program synthesis from examples method using a SUMMERS like methodology together with a sophisticated pattern matching technique, the BOYER- IIOORE-I.JEGBREIT algorithm. We then characterize the class of functions synthesized from a restricted BMW algorithm. Our methodology is founded on three grounds.The first one is a precise characterization of the list dom3ins fitting the synthesis from examples problem. The second one is . SUMMERS' technique of input-output examples transformation into computational traces. The third one is the description by a restricted program scheme of the functions in the cl n ss. It seems to us that the proofs methods easily extend to the generalcl a ss.","doi":null,"url":"https://ijcai.org/proceedings/1979/96","pdf":"https://ijcai.org/proceedings/1979/0096.pdf","markdown":"https://ijcai.org/proceedings/1979/96.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/96","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":96,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}