Share Email Print

Proceedings Paper

The Role of Understanding in Automated Program Synthesis
Author(s): Antonio C. Semeco; Pipat Eamsherangkoon; Stefan P. Roth; Dinh Q. Vu
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

Automated software generation has been proposed as the solution to the current software crisis. According to this idea, the end user provides a high level specification of his or her needs to a machine and a working implementation is synthesized from this specification. Formal approaches have been found impractical for handling large applications and in most cases heuristics and domain-specific knowledge are used, trading off accuracy and optimality for decreased complexity in execution. The impact of these tradeoffs in the reliability of the final product is investigated and a knowledge organization scheme is presented and used as a framework to describe the architecture of an automatic program synthesis system.

Paper Details

Date Published: 5 April 1985
PDF: 8 pages
Proc. SPIE 0548, Applications of Artificial Intelligence II, (5 April 1985); doi: 10.1117/12.948440
Show Author Affiliations
Antonio C. Semeco, Georgia Tech Research Institute (United States)
Pipat Eamsherangkoon, Georgia Tech Research Institute (United States)
Stefan P. Roth, Georgia Tech Research Institute (United States)
Dinh Q. Vu, Georgia Tech Research Institute (United States)

Published in SPIE Proceedings Vol. 0548:
Applications of Artificial Intelligence II
John F. Gilmore, Editor(s)

© SPIE. Terms of Use
Back to Top