A Classification of Automatic Program Synthesis Systems.
Abstract
A great deal of attention has been paid lately to improving the process of developing software. Most of this attention has been directed to the development of tools to perform tasks for the user (e.g. editors, debuggers) and environments to integrate these tasks. This paper, however, is about another method of streamlining software development: creating programs to generate the software for us. That is, we tell the program what type of software we want to generate and it generates the software for us. This process has been given many names. In this paper, we shall refer to this process as automatic program synthesis, or APS. In Section 2 the authors define the term automatic program synthesis. Section 3 gives a set of classifications of various APS systems. Section 4 gives the authors' conclusions about existing APS systems and about the field of automatic program synthesis in general. Section 5 comments on the related yet distinct area of application generation.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 19, 1988
- Accession Number
- ADA193471
Entities
People
- Thomas A. Nartker
- Todd A. Gross
Organizations
- University of Nevada, Las Vegas