Publications
Research on Automatic Program-Synthesis Systems
Feb, 1970
Journal
SRIPublication
Abstract
The general objective of the proposed research is to establish design criteria for an automatic program-synthesizing system. We mean to devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.
Focus Areas:
Computing
Divisions:
Information + Computing Sciences
Centers + Labs:
Artificial Intelligence Center 
