Automatic programming for end users: the TOAD system

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 classifi...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on knowledge and data engineering Vol. 1; no. 3; pp. 398 - 405
Main Authors: Gomez, F., Wingate, V.
Format: Journal Article
Language:English
Published: IEEE 01.09.1989
Subjects:
Automatic programming
Database systems
Graphical user interfaces
Knowledge based systems
Natural languages
Problem-solving
Prototypes
Software engineering
Software prototyping
Specification languages
ISSN:1041-4347
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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.< >
AbstractList 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
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.
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.< >
Author Wingate, V.
Gomez, F.
Author_xml – sequence: 1
  givenname: F.
  surname: Gomez
  fullname: Gomez, F.
  organization: Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
– sequence: 2
  givenname: V.
  surname: Wingate
  fullname: Wingate, V.
  organization: Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
BookMark eNqNkDtPwzAUhT0UiRaQWNkyIZYU38Txg60qT6lSlzJbxrkuQXkU2xn670kJYkBIMN3hfOfcozMjk7ZrkZBzoHMAqq65mkuhJJuQKVAGKcuZOCazEN4opVJImBK26GPXmFjZZOe7rTdNU7XbxHU-wbZM-oA-3CTxFZPNenGbhH2I2JySI2fqgGdf94Q8399tlo_pav3wtFysUpsVEFNUL3lmea4Yd3boY8FkmaXCClEKnjEobUlVUVhppCukK6HMGQrmHFgDJc9PyOWYO1R77zFE3VTBYl2bFrs-6EwJ4HlG_wbl4R3_R2JRMIBcDeDVCFrfheDR6Z2vGuP3Gqg-jKu50p_jDuj8B2qrOCzatdGbqv7NcDEaKkT8zh21D4xGhY0
CODEN ITKEEH
CitedBy_id crossref_primary_10_1016_0019_0578_92_90034_G
Cites_doi 10.1109/TSE.1985.231877
10.1109/TSE.1985.231880
10.1016/0004-3702(85)90016-5
10.1109/LFA.1988.24971
10.1109/TSE.1985.231881
10.1016/B978-0-934613-12-5.50006-9
10.1109/TSE.1985.231882
10.1016/B978-0-934613-12-5.50028-8
10.1109/MS.1986.232783
10.1016/B978-0-934613-12-5.50025-2
10.3115/981251.981259
10.1109/TSE.1978.233869
ContentType Journal Article
DBID AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
7TB
FR3
DOI 10.1109/69.87984
DatabaseName CrossRef
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Mechanical & Transportation Engineering Abstracts
Engineering Research Database
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
Mechanical & Transportation Engineering Abstracts
Engineering Research Database
DatabaseTitleList Computer and Information Systems Abstracts
Computer and Information Systems Abstracts
Technology Research Database
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EndPage 405
ExternalDocumentID 10_1109_69_87984
87984
GroupedDBID -~X
.DC
0R~
1OL
29I
4.4
5GY
5VS
6IK
97E
9M8
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABFSI
ABQJQ
ABVLG
ACGFO
ACIWK
AENEX
AETIX
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ASUFR
ATWAV
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CS3
DU5
E.L
EBS
EJD
F5P
HZ~
H~9
ICLAB
IEDLZ
IFIPE
IFJZH
IPLJI
JAVBF
LAI
M43
MS~
O9-
OCL
P2P
PQQKQ
RIA
RIE
RNI
RNS
RXW
RZB
TAE
TAF
TN5
UHB
VH1
AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
7TB
FR3
ID FETCH-LOGICAL-c251t-e9b32c63946fc109c1a22c07c77d76241dcd0955c8a8f58fd1d34e74ff1ca1d63
IEDL.DBID RIE
ISSN 1041-4347
IngestDate Sun Sep 28 16:25:04 EDT 2025
Sun Sep 28 01:49:02 EDT 2025
Sat Sep 27 17:21:00 EDT 2025
Tue Nov 18 21:51:48 EST 2025
Sat Nov 29 04:46:25 EST 2025
Wed Aug 27 02:52:17 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 3
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c251t-e9b32c63946fc109c1a22c07c77d76241dcd0955c8a8f58fd1d34e74ff1ca1d63
Notes ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
PQID 25541139
PQPubID 23500
PageCount 8
ParticipantIDs proquest_miscellaneous_28624166
crossref_primary_10_1109_69_87984
crossref_citationtrail_10_1109_69_87984
proquest_miscellaneous_25541139
ieee_primary_87984
proquest_miscellaneous_29716320
PublicationCentury 1900
PublicationDate 19890901
PublicationDateYYYYMMDD 1989-09-01
PublicationDate_xml – month: 09
  year: 1989
  text: 19890901
  day: 01
PublicationDecade 1980
PublicationTitle IEEE transactions on knowledge and data engineering
PublicationTitleAbbrev TKDE
PublicationYear 1989
Publisher IEEE
Publisher_xml – name: IEEE
References ref13
martin (ref7) 1985
ref12
ref15
ref11
heidom (ref16) 1986
ref10
gomez (ref2) 1985
ref1
green (ref14) 1976
ref8
ref9
ref3
ref6
ref5
gomez (ref4) 1984
neches (ref17) 1985; se 11
References_xml – start-page: 242
  year: 1985
  ident: ref2
  article-title: TQ: A specification language based on conceptualizations underlying natural language
  publication-title: Proc 1985 IEEE Workshop Languages for Automation
– ident: ref10
  doi: 10.1109/TSE.1985.231877
– ident: ref12
  doi: 10.1109/TSE.1985.231880
– start-page: 203
  year: 1986
  ident: ref16
  publication-title: Readings in Artificial Intelligence and Software Engineering
– ident: ref5
  doi: 10.1016/0004-3702(85)90016-5
– ident: ref3
  doi: 10.1109/LFA.1988.24971
– ident: ref15
  doi: 10.1109/TSE.1985.231881
– ident: ref9
  doi: 10.1016/B978-0-934613-12-5.50006-9
– volume: se 11
  start-page: 1337
  year: 1985
  ident: ref17
  article-title: enhanced maintenance and explanation of expert systems through explicit models of their development
  publication-title: IEEE Transactions on Software Engineering
  doi: 10.1109/TSE.1985.231882
– ident: ref8
  doi: 10.1016/B978-0-934613-12-5.50028-8
– ident: ref6
  doi: 10.1109/MS.1986.232783
– year: 1985
  ident: ref7
  publication-title: Fourth Generation Languages Volume 1 Principles
– ident: ref13
  doi: 10.1016/B978-0-934613-12-5.50025-2
– ident: ref1
  doi: 10.3115/981251.981259
– start-page: 320
  year: 1984
  ident: ref4
  publication-title: Readings in Medical Artificial Intelligence The First Decade
– start-page: 4
  year: 1976
  ident: ref14
  article-title: The design of the PSI program synthesis system
  publication-title: Proc Int Conf Software Engineering
– ident: ref11
  doi: 10.1109/TSE.1978.233869
SSID ssj0008781
Score 1.36731
Snippet 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....
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....
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 398
SubjectTerms Automatic programming
Database systems
Graphical user interfaces
Knowledge based systems
Natural languages
Problem-solving
Prototypes
Software engineering
Software prototyping
Specification languages
Title Automatic programming for end users: the TOAD system
URI https://ieeexplore.ieee.org/document/87984
https://www.proquest.com/docview/25541139
https://www.proquest.com/docview/28624166
https://www.proquest.com/docview/29716320
Volume 1
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL) - NZ
  issn: 1041-4347
  databaseCode: RIE
  dateStart: 19890101
  customDbUrl:
  isFulltext: true
  dateEnd: 99991231
  titleUrlDefault: https://ieeexplore.ieee.org/
  omitProxy: false
  ssIdentifier: ssj0008781
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFA86POjBuak4PyMInuqaNs2Ht6EOT9PDhN1Klg8QtJWt9e83SbOpOAbeSvpKm5f0feS993sAXCltMIsNiYyVkC7MqCI-RSwyRCirTqYZQ8I3m6CjEZtM-HOAyfG1MFprn3ymb9ylj-WrUtbuqKzPKGd4E2xSSppKraXMZdS3I7W-hfWIUkwDzCyKeZ_YzeCe-6V4fCeVP-LX65Rh-z9fswd2g-UIB81Sd8CGLrqgvejKAMNP2gU7PyAG9wEe1FXpYVlhSMV6t-PQmqpQFwq6M4r5LbRWIBw_De5hA-x8AF6GD-O7xyh0SoiktU-qSPNpmkhrbGBipJ20RCJJZEwlpcpKO4yUVA5rTjLBTMaMQirFmmJjkBRIkfQQtIqy0EcAIquxVaYQ19JgLJ3_JGicCZSZTJsk64HrBRtzGWDEXTeLt9y7EzHPCc89a3rgckn50UBnrKDpOMYu74fBi8W65HazuwiGKHRZz3Pr_2BkbdY1FK7gBRGyhsKBZqVJfLzq1Sdg-zuJ7BS0qlmtz8CW_Kxe57Nzv-e-APj_1dQ
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED90CuqDc1Nxfi2C4FNd06ZN6ttQx8Q5fZiwt9LlAwRtZWv9-03SbioOwbeSXmlzSe8jd_c7gHMhFWGuCh2lJaQJMwonmmDmqDARWp1MAoYT22yCDodsPI6eKpgcWwsjpbTJZ_LSXNpYvsh4YY7KOoxGjKzCWkCI55a1Wgupy6htSKq9C-0T-YRWQLPYjTqh3g7myR-qx_ZS-SWArVbp1f_zPTuwXdmOqFsudgNWZNqE-rwvA6p-0yZsfQMZ3AXSLfLMArOiKhnrTY8jbawimQpkTilmV0jbgWj02L1BJbTzHjz3bkfXfafqleBwbaHkjowmvse1uUFCxfWkOU48j7uUUyq0vCNYcGHQ5jhLmAqYElj4RFKiFOYJFqG_D7U0S-UBIKx1tggEjiRXhHDjQSXUDRIcqEAqL2jBxZyNMa-AxE0_i9fYOhRuFIdRbFnTgrMF5XsJnrGEpmEYu7hfDbbn6xLr7W5iGEkqs2IWaw-IYG21_kFhSl5wGP5BYWCzfM89XPbqNmz0Rw-DeHA3vD-Cza-UsmOo5dNCnsA6_8hfZtNTu_8-ATwx2Rs
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automatic+programming+for+end+users%3A+the+TOAD+system&rft.jtitle=IEEE+transactions+on+knowledge+and+data+engineering&rft.au=Gomez%2C+F&rft.au=Wingate%2C+V&rft.date=1989-09-01&rft.issn=1041-4347&rft.volume=1&rft.issue=3&rft.spage=398&rft.epage=405&rft_id=info:doi/10.1109%2F69.87984&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1041-4347&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1041-4347&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1041-4347&client=summon