Corpus ID: 32480327

PROW: A Step Toward Automatic Program Writing

@inproceedings{Waldinger1969PROWAS,
  title={PROW: A Step Toward Automatic Program Writing},
  author={Richard J. Waldinger and Richard C. T. Lee},
  booktitle={IJCAI},
  year={1969}
}
  • Richard J. Waldinger, Richard C. T. Lee
  • Published in IJCAI 1969
  • Computer Science
  • 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… CONTINUE READING

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 79 CITATIONS, ESTIMATED 95% COVERAGE

    STANFORD ARTIFICIAL INTELLIGENCE PROJECT

    VIEW 3 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Structural Language Models for Any-Code Generation

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    Synthetic Datasets for Neural Program Synthesis

    VIEW 1 EXCERPT
    CITES BACKGROUND

    FILTER CITATIONS BY YEAR

    1969
    2020

    CITATION STATISTICS

    • 2 Highly Influenced Citations