{"type":"ScholarlyArticle","title":"PROW: A Step Toward Automatic Program Writing","authors":[{"name":"Richard J. Waldinger","slug":"richard-j-waldinger","given":"Richard J.","family":"Waldinger","affiliation":"Carnegie-Mellon Upiv. , Pittsburgh , Pa."},{"name":"Richard C. T. Lee","slug":"richard-c-t-lee","given":"Richard C. T.","family":"Lee","affiliation":"National Institutes of Health Bethesda , Md."}],"abstract":"This paper describes a program, called \"PROW\", which writes programs . PROW accepts the specification of the program in the language of predicate calculus, decides the algorithm for the program and then produces a LISP program which is an implementat ion of the algorithm . Since the construction of the algorithm is obtained by formal theorem- prov ing techniques, the programs that PROW writes are free from logical errors and do not have to be debugged . The user of PROW can make PROW write programs in languages other than LISP by modifying the pa rt of PROW that translates an algorithm to a LISP program . Thus PROW can be modified to write programs in any language . In the end of this paper , it is shown that PROW can also be used as a quest ion - answering program.","doi":null,"url":"https://ijcai.org/proceedings/1969/23","pdf":"https://ijcai.org/proceedings/1969/0023.pdf","markdown":"https://ijcai.org/proceedings/1969/23.md","bibtex":"https://ijcai.org/proceedings/1969/bibtex/23","volume":{"slug":"1969","title":"Proceedings of the First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1969","url":"https://ijcai.org/proceedings/1969/","year":1969,"location":"Washington, DC, USA","dates":"May 7-9, 1969","editors":"Donald E. Walker and David C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Heuristic Problem Solving","track":"Heuristic Problem Solving","number":23,"pages":{"first":241,"last":252},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Green, C. and Raphael, G. : The Use of Theorem- Proving Techniques in Question-Answering Sys - tems, Proceedings of the 1968 ACM Natiqnal Conference, 169-181.","title":"The Use of Theorem-Proving Techniques in Question-Answering Systems","authors":"C Green, G Raphael","year":null,"venue":"Proceedings of the 1968 ACM Natiqnal Conference","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Hilbert, A. and Ackerman, W. : Principles of Mathematical Logic, Chelsea Publishing Company, N.Y. ( 1950) •","title":"Principles of Mathematical Logic","authors":"A Hilbert, W Ackerman","year":"1950","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"McCarthy, J. : LISP 1. 5 Programmer 1 s Manual, the M. I . T. Press, Cambridge, Mass . (1962 ).","title":"LISP 1. 5 Programmer 1 s Manual, the M","authors":"J Mccarthy","year":"1962","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Quine , W.: A Proof Procedure for Quantification Theory, Journal of Symbolic Logic, Vol . 20, No.2, (June,l955 ) , 141-149 .","title":"A Proof Procedure for Quantification Theory","authors":"W Quine","year":null,"venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Robinson, J .: A Machine Oriented Logic Based on the Resolution Principle, JACM, Vol . 7, (Jan . ,l965) , 23-41 .","title":"A Machine Oriented Logic Based on the Resolution Principle","authors":"J Robinson","year":null,"venue":"JACM","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Robinson, J. : A Review of Automatic Theorem Proving, Annual Symposia in Appl ied Mathematics, Vol. XIX, (1966).","title":"A Review of Automatic Theorem Proving","authors":"J Robinson","year":"1966","venue":"Annual Symposia in Appl ied Mathematics","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Simon, H.A.: Experiments with a Heuxistic Compiler, JACM, (Oct ., 1963 ) , 482-506 .","title":"Experiments with a Heuxistic Compiler","authors":"H A Simon","year":"1963","venue":"JACM","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Slagle, J. : Experiments with a Deductive Question-Answering Program, Corom .ACM, Vol. 8 , No . l 2,(Dec . ,l965 ) 792-798.","title":"Experiments with a Deductive Question-Answering Program","authors":"J Slagle","year":null,"venue":"Corom .ACM","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Slagle, J. : Automatic Theorem Proving with Renameable and Semantic Resolution, JACM, Vol. 14, No . 4, (Oct.,l967 ) , 687 -697 .","title":"Automatic Theorem Proving with Renameable and Semantic Resolution","authors":"J Slagle","year":null,"venue":"JACM","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Weissman , C.: LISP 1 . 5 Primer, Dickenson Pub- lishing Company, Belmont, California ( 1967) .","title":"LISP 1 . 5 Primer","authors":"C Weissman","year":"1967","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Robinson , G. and Wos, L. : Paramodulation and Theorem-Proving in First-Order Theories with Equality, (to appear in Machine Intelligence , Vol . IV, ed . by D. Michie . )","title":"Paramodulation and Theorem-Proving in First-Order Theories with Equality","authors":"G Robinson, L Wos","year":null,"venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}