Knowledge and reasoning in program synthesis

  • Authors:

  • Zohar Manna;Richard Waldinger

  • Affiliations:

  • Applied Mathematics Department, Weizmann Institute of Science, Rehovot, Israel;Artificial Intelligence Center, Stanford Research Institute, Menlo Park, California

  • Venue:
  • IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
  • Year:
  • 1975

Quantified Score

Hi-index 0.00

Visualization

Abstract

Prograin synthesis is the construction of a computer program from given specifications. An automatic program synthesis system must combine reasoning and programming ability with a good deal of knowledge about the subject matter of the program. This ability and knowledge must be manifested both procedurally (by programs) and structurally (by choice of representation). We describe some of the reasoning and programming capabilities of a projected synthesis system. Special attention is paid to the introduction of conditional tests, loops, and Instructions with side effects in the program being constructed. The ability to satisfy several interacting goals simultaneously proves to be important in many contexts. The modfication of an already existing program to solve a somewhat different problem has been found to be a powerful approach. Some of these techniques have already been implemented, some are in the course of implementation, while others seem equivalent to well-known unsolved problems in artificial Intelligence