PROW: A Step Toward Automatic Program Writing
Proceedings of the First International Joint Conference on Artificial Intelligence. Heuristic Problem Solving. Pages 241-252.
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.
@inproceedings{ijcai1969p23,
title = {PROW: A Step Toward Automatic Program Writing},
author = {Waldinger, Richard J. and Lee, Richard C. T.},
booktitle = {Proceedings of the First International Joint Conference on
Artificial Intelligence, {IJCAI-69}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Donald E. Walker and David C. Cooper},
pages = {241--252},
year = {1969},
month = {5},
note = {Heuristic Problem Solving},
url = {https://ijcai.org/proceedings/1969/23},
}
TY - CPAPER TI - PROW: A Step Toward Automatic Program Writing AU - Waldinger, Richard J. AU - Lee, Richard C. T. T2 - Proceedings of the First International Joint Conference on Artificial Intelligence, IJCAI-69 PB - International Joint Conferences on Artificial Intelligence PY - 1969 SP - 241 EP - 252 UR - https://ijcai.org/proceedings/1969/23 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
