A Classification of Automatic Program Synthesis Systems.
NEVADA UNIV LAS VEGAS DEPT OF COMPUTER SCIENCE AND ELECTRICAL ENGINEERING
Pagination or Media Count:
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.
- Computer Programming and Software