{"type":"ScholarlyArticle","title":"Automatic Program Synthesis in Second-Order Logic","authors":[{"name":"Jared L. Darlington","slug":"jared-l-darlington","given":"Jared L.","family":"Darlington","affiliation":""}],"abstract":"A resolution-based theorem prover, incorporating a restricted higher-order unification algorithm, has been applied to the automatic synthesis of SNOBOL-4 programs. The set of premisses includes second-order assignment and iteration axioms derived from those of Hoare. Two examples are given of the synthesis of programs that compute elementary functions.","doi":null,"url":"https://ijcai.org/proceedings/1973/67","pdf":"https://ijcai.org/proceedings/1973/0067.pdf","markdown":"https://ijcai.org/proceedings/1973/67.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/67","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automatic Programming","track":"Automatic Programming","number":67,"pages":{"first":537,"last":541},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}