Automatic Programming For End Users: The Toad System
Automatic programming; knowledge-based systems; software engineering; specification languages
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
IEEE Transactions on Knowledge and Data Engineering
Number of Pages
Source API URL
Gomez, Fernando and Wingate, Viva, "Automatic Programming For End Users: The Toad System" (1989). Scopus Export 1980s. 340.