Computer aided program synthesis
Richard Johnston Wood · Defense Technical Information Center (DTIC) · 1982
This paper proposes the construction of a programming system that will interact with a domain expert user to develop a computer program. Activities evident during a client-consultant interaction are identified and examined, and a new program structure called the Program Model (PM) is presented. The PM explicitly represents the definitions and refinements of the problem domain, the development of an algorithmic solution, and the programming knowledge used during synthesis. The types of processing required for a computer aided synthesis system are examined and a control scheme is proposed for managing non-linear program development. (Author)