The Role of Understanding in Automated Program Synthesis

Antonio C. Semeco; Pipat Eamsherangkoon; Stefan P. Roth; Dinh Q. Vu

doi:10.1117/12.948440

5 April 1985 The Role of Understanding in Automated Program Synthesis

Antonio C. Semeco, Pipat Eamsherangkoon, Stefan P. Roth, Dinh Q. Vu

Proceedings Volume 0548, Applications of Artificial Intelligence II; (1985) https://doi.org/10.1117/12.948440
Event: 1985 Technical Symposium East, 1985, Arlington, United States

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.

Citation Download Citation

Antonio C. Semeco, Pipat Eamsherangkoon, Stefan P. Roth, and Dinh Q. Vu "The Role of Understanding in Automated Program Synthesis", Proc. SPIE 0548, Applications of Artificial Intelligence II, (5 April 1985); https://doi.org/10.1117/12.948440

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available