{"type":"ScholarlyArticle","title":"Program Inference from Traces using Multiple Knowledge Sources","authors":[{"name":"J. V. Phillips","slug":"j-v-phillips","given":"J. V.","family":"Phillips","affiliation":""}],"abstract":"This paper presents an overview of a framework for the synthesis of high-level program descriptions from traces and example pairs in an automatic programming system. The framework is described in terms of a methodology and a rule base for generating control and data structure specifications for the program to be synthesized, in a format suitable for transformation into program code in a given target language.","doi":null,"url":"https://ijcai.org/proceedings/1977/193","pdf":"https://ijcai.org/proceedings/1977/0193.pdf","markdown":"https://ijcai.org/proceedings/1977/193.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/193","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Specialized Systems","track":"Specialized Systems","number":193,"pages":{"first":812,"last":-1},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}