PROW(ID:8179/)

Automatic programming alnguage system
Related languages
PROW => Manna and Waldinger 1971   Evolution of
PROW => QA4   Influence
References:
  • Waldinger, Richard J. and Lee, Richard C.T., "PROW: A Step Toward Automatic Program Writing" view details
          in Donald E. Walker, Lewis M. Norton (Eds.): Proceedings of the 1st International Joint Conference on Artificial Intelligence IJCAI-69, Washington, DC, May 1969. William Kaufmann, 1969 view details
  • Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 view details Abstract: This paper attempts to describe some of the basic characteristics and issues involving the class of programming languages commonly referred to as ?nonprocedural? or ?very high level?. The paper discusses major issues such as terminology, relativeness, and arbitrary sequencing. Five features of nonprocedural languages are described, and a number of specific languages are discussed briefly. A short history of the subject is included.
    Extract: PROW
    Another system, called PROW {Waldinger and Lee, ]969), generates programs from descriptions of their inputs and outputs in the predicate calculus and also uses a resolution theorem prover.
          in Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States view details