The assistant approach to automatic programming
Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approac...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | 111 |
| container_title | |
| container_volume | |
| creator | Feldman, Y.A. |
| description | Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.< > |
| doi_str_mv | 10.1109/ICCSSE.1989.72725 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_72725</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>72725</ieee_id><sourcerecordid>72725</sourcerecordid><originalsourceid>FETCH-LOGICAL-i86t-79cafea403b9a3cef402668044659417aa9bffea7ff2fc5003d83306c7e59f1d3</originalsourceid><addsrcrecordid>eNotj81Kw0AUhQdEUGsfoLu8QNJ753-WEqoWCl00-3I7nWlHTBMy48K3N6hnc-Dj8MFhbIXQIIJbb9v2cNg06KxrDDdc3bEnsGg1OsPlA1vm_AFzlLKI5pGtu2uoKOeUC91KReM4DeSvVRkq-ipDTyX5amaXifo-3S7P7D7SZw7L_16w7nXTte_1bv-2bV92dbK61MZ5ioEkiJMj4UOUwLW2IKVWTqIhcqc4D0yMPHoFIM5WCNDeBOUinsWCrf60KYRwHKfU0_R9_D0kfgBER0HA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>The assistant approach to automatic programming</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Feldman, Y.A.</creator><creatorcontrib>Feldman, Y.A.</creatorcontrib><description>Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.< ></description><identifier>ISBN: 0818619724</identifier><identifier>ISBN: 9780818619724</identifier><identifier>DOI: 10.1109/ICCSSE.1989.72725</identifier><language>eng</language><publisher>IEEE Comput. Soc. Press</publisher><subject>Automatic programming ; Automation ; Computer science ; Debugging ; Mathematical programming ; Mathematics ; Programming environments</subject><ispartof>[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering, 1989, p.111</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/72725$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,4035,4036,27904,54899</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/72725$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Feldman, Y.A.</creatorcontrib><title>The assistant approach to automatic programming</title><title>[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering</title><addtitle>ICCSSE</addtitle><description>Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.< ></description><subject>Automatic programming</subject><subject>Automation</subject><subject>Computer science</subject><subject>Debugging</subject><subject>Mathematical programming</subject><subject>Mathematics</subject><subject>Programming environments</subject><isbn>0818619724</isbn><isbn>9780818619724</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1989</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj81Kw0AUhQdEUGsfoLu8QNJ753-WEqoWCl00-3I7nWlHTBMy48K3N6hnc-Dj8MFhbIXQIIJbb9v2cNg06KxrDDdc3bEnsGg1OsPlA1vm_AFzlLKI5pGtu2uoKOeUC91KReM4DeSvVRkq-ipDTyX5amaXifo-3S7P7D7SZw7L_16w7nXTte_1bv-2bV92dbK61MZ5ioEkiJMj4UOUwLW2IKVWTqIhcqc4D0yMPHoFIM5WCNDeBOUinsWCrf60KYRwHKfU0_R9_D0kfgBER0HA</recordid><startdate>1989</startdate><enddate>1989</enddate><creator>Feldman, Y.A.</creator><general>IEEE Comput. Soc. Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1989</creationdate><title>The assistant approach to automatic programming</title><author>Feldman, Y.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i86t-79cafea403b9a3cef402668044659417aa9bffea7ff2fc5003d83306c7e59f1d3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1989</creationdate><topic>Automatic programming</topic><topic>Automation</topic><topic>Computer science</topic><topic>Debugging</topic><topic>Mathematical programming</topic><topic>Mathematics</topic><topic>Programming environments</topic><toplevel>online_resources</toplevel><creatorcontrib>Feldman, Y.A.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Feldman, Y.A.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>The assistant approach to automatic programming</atitle><btitle>[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering</btitle><stitle>ICCSSE</stitle><date>1989</date><risdate>1989</risdate><spage>111</spage><pages>111-</pages><isbn>0818619724</isbn><isbn>9780818619724</isbn><abstract>Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.< ></abstract><pub>IEEE Comput. Soc. Press</pub><doi>10.1109/ICCSSE.1989.72725</doi></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 0818619724 |
| ispartof | [1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering, 1989, p.111 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_72725 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Automatic programming Automation Computer science Debugging Mathematical programming Mathematics Programming environments |
| title | The assistant approach to automatic programming |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-22T00%3A20%3A31IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=The%20assistant%20approach%20to%20automatic%20programming&rft.btitle=%5B1989%5D%20Proceedings.%20The%20Fourth%20Israel%20Conference%20on%20Computer%20Systems%20and%20Software%20Engineering&rft.au=Feldman,%20Y.A.&rft.date=1989&rft.spage=111&rft.pages=111-&rft.isbn=0818619724&rft.isbn_list=9780818619724&rft_id=info:doi/10.1109/ICCSSE.1989.72725&rft_dat=%3Cieee_6IE%3E72725%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=72725&rfr_iscdi=true |