Publication Details

Research on Automatic Program-Synthesis Systems

by Waldinger, R. J., Rulifson., and Nilsson, N. J

Technical Note
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Feb 1970.

Note: SRI No. ESU 69-127R. Proposal for Research, Part One-Technical Proposal. Part Two-contractual Provisions. Prepared for Electronic Systems Division (ESKK) Air Force Systems Command, in response to request No. F19628-70-Q-0298 CRL-01022.

Order an AIC Technical Note

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.

Electronic Copies

Adobe PDF

BibTeX

EndNote

Associated Projects

The Automatic Synthesis Of Computer Programs

AIC Personnel

	Name	Title	E-mail
	Nilsson, Nils J	Alumnus
	Rulifson, Johns F.	Alumnus
	Waldinger, Richard J	Principal Scientist