Program synthesis: an automationist's view
Program synthesis as defined by the author is the translation from a task specification to the code that can perform that task. The author looks at the range that this can encompass with respect to automation and discusses how the naive view can differ from what is either attainable or desirable. He...
Uložené v:
| Vydané v: | Digest of papers : intellectual leverage s. 226 - 231 |
|---|---|
| Hlavný autor: | |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE Comput. Soc. Press
1989
|
| Predmet: | |
| ISBN: | 9780818619090, 0818619090 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Program synthesis as defined by the author is the translation from a task specification to the code that can perform that task. The author looks at the range that this can encompass with respect to automation and discusses how the naive view can differ from what is either attainable or desirable. He examines the work that has been done as well as some current projects. In doing this he looks at trends in program synthesis (and automatic programming in general) on the bases of generality, range, and degree of automation and discusses some of the underlying techniques.< > |
|---|---|
| AbstractList | Program synthesis as defined by the author is the translation from a task specification to the code that can perform that task. The author looks at the range that this can encompass with respect to automation and discusses how the naive view can differ from what is either attainable or desirable. He examines the work that has been done as well as some current projects. In doing this he looks at trends in program synthesis (and automatic programming in general) on the bases of generality, range, and degree of automation and discusses some of the underlying techniques.< > |
| Author | McCartney, R. |
| Author_xml | – sequence: 1 givenname: R. surname: McCartney fullname: McCartney, R. organization: Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA |
| BookMark | eNotj8tKxDAUQAMqqGN_YFbdCUJrbvO87qT4gnktZj-knRuN2FSaqMzfK4xnc3YHziU7jWMkxubAawCOt-1y065XNaDFWnBAASesQGO5BasBOfJzVqT0zv-QCoSBC3azmcbXyQ1lOsT8Rimku9LF0n3lcXA5jDGkfJ3K70A_V-zMu49Exb9nbPv4sG2fq8X66aW9X1TBmlz1yqvGq76TXFKve2ystgJ1s5ew91yhN8Jap7XS2lFnpHRCCt2hU55TT2LG5sdsIKLd5xQGNx12xx_xCyq5QfU |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/CMPCON.1989.301931 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 231 |
| ExternalDocumentID | 301931 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IK 6IL AAJGR AAWTH ACGHX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK OCL RIE RIL |
| ID | FETCH-LOGICAL-i87t-c5f52f5cb404ec6c928683962d41df059f7388a66566aeb744a3436b9a5f0ece3 |
| IEDL.DBID | RIE |
| ISBN | 9780818619090 0818619090 |
| IngestDate | Tue Aug 26 16:48:42 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i87t-c5f52f5cb404ec6c928683962d41df059f7388a66566aeb744a3436b9a5f0ece3 |
| PageCount | 6 |
| ParticipantIDs | ieee_primary_301931 |
| PublicationCentury | 1900 |
| PublicationDate | 19890000 |
| PublicationDateYYYYMMDD | 1989-01-01 |
| PublicationDate_xml | – year: 1989 text: 19890000 |
| PublicationDecade | 1980 |
| PublicationTitle | Digest of papers : intellectual leverage |
| PublicationTitleAbbrev | CMPCON |
| PublicationYear | 1989 |
| Publisher | IEEE Comput. Soc. Press |
| Publisher_xml | – name: IEEE Comput. Soc. Press |
| SSID | ssj0000451371 |
| Score | 1.2032115 |
| Snippet | Program synthesis as defined by the author is the translation from a task specification to the code that can perform that task. The author looks at the range... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 226 |
| SubjectTerms | Automatic programming Automation Computer science Formal specifications Program processors Software design Software maintenance Storms Synthesizers Water |
| Title | Program synthesis: an automationist's view |
| URI | https://ieeexplore.ieee.org/document/301931 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELWgYmAqlCK-lQEJCSltXDuxj7WiYoCSoUO3ynbOUpcUNWkl_j12nLZCYmGzPVi2bN-d7-69I-RRWaAaGI2p9d4qlBBrLlUMTHOkmiseSFzfxXQq53PIW57tBguDiE3yGQ58s4nlFyuz8a6yobuM4DHTx0JkAaq1d6d4mhQmaMPwSKX7FSTQMjod-jvMTALD8Uc-_pwOfMLQIMz6q7pKo1wm3X8t64z0DyC9KN-rn3NyhGWPdHdVGqL20V6Q5zykYEXVd-msvWpZvUSqjNSmXgXYojvopyryIYI-mU1eZ-O3uK2QEC-lqGOT2nRkU6N5wtFkBkYycwZPNio4LawznKxgUqrM22wKteBcMc4yDSq1CRpkl6RTrkq88tBtKzSA9lFYbtAqJyXdb7FItBNDHMw16fmNL74CB8Yi7Pnmz9Fbchoysbyj4o506vUG78mJ2dbLav3QnNsPl6mUHw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA4yBT1N58Tf9iAIQremSdvE63BM3GoPO-w2kvQFdulkbQX_e5Om2xC8eEtyCAlJ3nt5733fQ-hRaI4lJ9jH2nqrgHFfUiZ8TiQFLKmgjsR1mqQpWyx41vJsN1gYAGiSz2Bgm00sP1-r2rrKhuYycouZPowoDQMH1to5VCxRCklww_GImfkXBLzldNr3t6iZgA9Hs2z0kQ5sytDAzfurvkqjXsbdfy3sFPX3MD0v2ymgM3QARQ91t3UavPbZnqPnzCVheeV3Yey9clW-eKLwRF2tHXDRHPVT6dkgQR_Nx6_z0cRvayT4K5ZUvop0FOpISRpQULHiIYuNyROHOcW5NqaTTghjIrZWmwCZUCoIJbHkItIBKCAXqFOsC7i04G2dSM6ljcNSBVoYOWn-i3kgjSCiXF2hnt348tOxYCzdnq__HH1Ax5P5bLqcvqXvN-jE5WVZt8Ut6lSbGu7QkfqqVuXmvjnDH4IZl2Y |
| 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%3Abook&rft.genre=proceeding&rft.title=Digest+of+papers+%3A+intellectual+leverage&rft.atitle=Program+synthesis%3A+an+automationist%27s+view&rft.au=McCartney%2C+R.&rft.date=1989-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818619090&rft.spage=226&rft.epage=231&rft_id=info:doi/10.1109%2FCMPCON.1989.301931&rft.externalDocID=301931 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818619090/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818619090/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818619090/sc.gif&client=summon&freeimage=true |