Automatic Programming for End Users: The TOAD System

Authors:
F. Gomez;V. Wingate
Affiliations:
-;-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1989

Citing 12
Cited 0

Fourth-generation languages. Volume I: principles

Fourth-generation languages. Volume I: principles
A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The Programmer's Apprentice: A Session with KBEmacs

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Domain-Specific Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Heuristic classification

Artificial Intelligence
A deductive approach to program synthesis

Readings in artificial intelligence and software engineering
Automatic programming through natural language dialogue: a survey

Readings in artificial intelligence and software engineering
Knowledge-based programming self applied

Readings in artificial intelligence and software engineering
A methodology for LISP program construction from examples

Readings in artificial intelligence and software engineering
The design of the PSI program synthesis system
Towards a theory of comprehension of declarative contexts

ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics

Quantified Score

Hi-index	0.00

Visualization

Abstract

An automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems can be specified by the user. The authors have designed TQ as a language for specifying programming problems and built a problem solver based on the methodology of classification problem solving. TQ is an informal specification language that allows a problem description to be written in nonprocedural terms by users who have no knowledge of programming. TOAD, the prototype system, demonstrates the feasibility and potential of the proposed approach and its suitability for end users. The authors compare their approach to those of other researchers in automatic programming and to the fourth generation languages.