Title
Automatic Programming For End Users: The Toad System
Keywords
Automatic programming; knowledge-based systems; software engineering; specification languages
Abstract
An automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems may be specified by the user. We have designed TQ as a language for specifying programming problems and have built a problem solver based on the methodology of classification problem solving. TOAD, our prototype system, demonstrates the feasibility and potential of our approach and its suitability for end users. © 1989 IEEE
Publication Date
1-1-1989
Publication Title
IEEE Transactions on Knowledge and Data Engineering
Volume
1
Issue
3
Number of Pages
398-405
Document Type
Article
Personal Identifier
scopus
DOI Link
https://doi.org/10.1109/69.87984
Copyright Status
Unknown
Socpus ID
0024732842 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/0024732842
STARS Citation
Gomez, Fernando and Wingate, Viva, "Automatic Programming For End Users: The Toad System" (1989). Scopus Export 1980s. 340.
https://stars.library.ucf.edu/scopus1980/340