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

Socpus ID

0024732842 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0024732842

This document is currently not available here.

Share

COinS