Automatic synthesis—programs and plans

C. Green,R. Fikes,M. Kay
DOI: https://doi.org/10.1145/800191.805531
1976-10-20
Abstract:This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the results of the transformation are executable computer programs. The other with tasks being carried out by people or organizations, where the results of the transformation are plans and schedules.
What problem does this paper attempt to address?