ML Anthology

PROW: A Step Toward Automatic Program Writing

Richard J. Waldinger, Richard C. T. Lee
IJCAI 1969 pp. 241-252
/ijcai/1969/waldinger1969ijcai-prow/

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 implementation of the algorithm. Since the construction of the algorithm is obtained by formal theorem-proving 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 part 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 question-answering program

PDF Semantic Scholar

Cite

Text

Waldinger and Lee. "PROW: A Step Toward Automatic Program Writing." International Joint Conference on Artificial Intelligence, 1969.

Markdown

[Waldinger and Lee. "PROW: A Step Toward Automatic Program Writing." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/waldinger1969ijcai-prow/)

BibTeX

@inproceedings{waldinger1969ijcai-prow,
  title     = {{PROW: A Step Toward Automatic Program Writing}},
  author    = {Waldinger, Richard J. and Lee, Richard C. T.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1969},
  pages     = {241-252},
  url       = {https://mlanthology.org/ijcai/1969/waldinger1969ijcai-prow/}
}