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.
