{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T15:46:23Z","timestamp":1649173583922},"reference-count":60,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1016\/s0065-2458(08)60402-7","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:15Z","timestamp":1295416575000},"page":"1-57","source":"Crossref","is-referenced-by-count":2,"title":["Approaches to Automatic Programming"],"prefix":"10.1016","author":[{"given":"Charles","family":"Rich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard C.","family":"Waters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60402-7_bib1","article-title":"An overview of Refine 2.0","author":"Abraido-Fandino","year":"1987","journal-title":"In \u201c2nd International Symposium on Knowledge Engineering-Software Enginering"},{"key":"10.1016\/S0065-2458(08)60402-7_bib2","series-title":"Military Standard Ada Programming Language","year":"1983"},{"key":"10.1016\/S0065-2458(08)60402-7_bib3","series-title":"Technical Report 834","article-title":"Justified Generalization: Acquiring Procedures from Examples","author":"Andreae","year":"1985"},{"issue":"3","key":"10.1016\/S0065-2458(08)60402-7_bib4","first-page":"103","article-title":"Workshop on models and languages for software specification and design","volume":"18","author":"Babb","year":"1985","journal-title":"IEEE Comp."},{"issue":"11","key":"10.1016\/S0065-2458(08)60402-7_bib5","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","article-title":"A 15 year perspective on automatic programming","volume":"11","author":"Balzer","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/S0065-2458(08)60402-7_bib6_1","first-page":"5","article-title":"A perspective on automatic programming","volume":"5","author":"Barstow","year":"1984","journal-title":"AI Mag."},{"key":"10.1016\/S0065-2458(08)60402-7_bib6_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib7","article-title":"Some classes of naturally provable programs","author":"Basu","year":"1976","journal-title":"In \u201c2nd International Conference on Software Engineering,\u201d San Francisco, California"},{"key":"10.1016\/S0065-2458(08)60402-7_bib8_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(79)90002-X","article-title":"Programming by examples","volume":"12","author":"Bauer","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(08)60402-7_bib8_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"issue":"3","key":"10.1016\/S0065-2458(08)60402-7_bib9","article-title":"On the inference of Turing machines from sample computations","volume":"3","author":"Biermann","year":"1972","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(08)60402-7_bib10","first-page":"1","article-title":"Approaches to automatic programming","volume":"15","author":"Biermann","year":"1976"},{"issue":"3","key":"10.1016\/S0065-2458(08)60402-7_bib11","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1976.233812","article-title":"Constructing programs from example computations","volume":"2","author":"Biermann","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/S0065-2458(08)60402-7_bib12_1","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1109\/TSE.1984.5010282","article-title":"Reusability through program transformation","volume":"10","author":"Cheatham","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60402-7_bib12_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"issue":"5","key":"10.1016\/S0065-2458(08)60402-7_bib13","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1109\/TSE.1984.5010279","article-title":"Use of very high level languages and program generation by management professionals","volume":"10","author":"Cheng","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"10.1016\/S0065-2458(08)60402-7_bib14","doi-asserted-by":"crossref","first-page":"1311","DOI":"10.1145\/214956.214960","article-title":"Describing Prolog by its interpretation and compilation","volume":"28","author":"Cohen","year":"1985","journal-title":"Comm. ACM."},{"key":"10.1016\/S0065-2458(08)60402-7_bib15","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0167-6423(82)90010-7","article-title":"Implementing specification freedoms","volume":"2","author":"Feather","year":"1982","journal-title":"Sci. Comp. Pror."},{"issue":"6","key":"10.1016\/S0065-2458(08)60402-7_bib16","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/800027.808427","article-title":"Knowledge about programs: a model and case study","volume":"l0","author":"Gerhart","year":"1975","journal-title":"In \u201cProceedings of the International Conference on Reliable Software"},{"issue":"3","key":"10.1016\/S0065-2458(08)60402-7_bib17_1","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0004-3702(78)80016-2","article-title":"On program synthesis knowledge","volume":"10","author":"Green","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(08)60402-7_bib17_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib18","series-title":"In \u201cProceedings of the 4th International Joint Conference on Artificial Intelligence","first-page":"240","article-title":"Synthesis of LISP functions from examples","author":"Hardy","year":"1975"},{"key":"10.1016\/S0065-2458(08)60402-7_bib19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(76)90020-5","article-title":"Learning production systems from examples","volume":"7","author":"Hedrick","year":"1976","journal-title":"Artficial Inielligence"},{"issue":"4","key":"10.1016\/S0065-2458(08)60402-7_bib20_1","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1147\/rd.204.0302","article-title":"Automatic programming through natural language dialogue: a survey","volume":"20","author":"Heidorn","year":"1976","journal-title":"IBM J. Research Dev."},{"key":"10.1016\/S0065-2458(08)60402-7_bib20_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib21","first-page":"82","article-title":"The logical schemes of algorithms","volume":"1","author":"Ianov","year":"1960"},{"key":"10.1016\/S0065-2458(08)60402-7_bib22","article-title":"A session with TINKER: Interleaving program testing with program design","author":"Lieberman","year":"1980","journal-title":"In \u201cProceedings of the Conference on LISP,\u201d"},{"key":"10.1016\/S0065-2458(08)60402-7_bib23","series-title":"Abstraction and Specification in Program Development","author":"Liskov","year":"1986"},{"issue":"5","key":"10.1016\/S0065-2458(08)60402-7_bib24","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1145\/359488.359498","article-title":"Automatic data structure selection: an example and overview","volume":"21","author":"Low","year":"1978","journal-title":"Comm. ACM."},{"key":"10.1016\/S0065-2458(08)60402-7_bib25","series-title":"Mathematic Theory of Computation","author":"Manna","year":"1974"},{"issue":"1","key":"10.1016\/S0065-2458(08)60402-7_bib26_1","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A deductive approach to program synthesis","volume":"2","author":"Manna","year":"1980","journal-title":"ACM Trans. Programming Languages Sys."},{"key":"10.1016\/S0065-2458(08)60402-7_bib26_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib27","series-title":"Part I: Assignment statements. Technical report","article-title":"Problematic features of programming languages: a situational-calculus approach","author":"Manna","year":"1980"},{"issue":"5","key":"10.1016\/S0065-2458(08)60402-7_bib28_1","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/TSE.1984.5010280","article-title":"The Draco approach to constructing software from reusable components","volume":"10","author":"Neighbors","year":"1984","journal-title":"IEEE Trans. Software Eng"},{"key":"10.1016\/S0065-2458(08)60402-7_bib28_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"issue":"3","key":"10.1016\/S0065-2458(08)60402-7_bib29","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/32.75413","article-title":"The Requirements Apprentice: automated assistance for requirements acquisition","volume":"17","author":"Reubenstein","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"10.1016\/S0065-2458(08)60402-7_bib30","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/32.142869","article-title":"Seven layers of knowledge representation and reasoning in support of software development","volume":"18","author":"Rich","year":"1992","journal-title":"IEEE Trans. Software Eng."},{"issue":"11","key":"10.1016\/S0065-2458(08)60402-7_bib31_1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.86782","article-title":"The Programmer's Apprentice: a research overview","volume":"21","author":"Rich","year":"1988","journal-title":"IEEE Computer"},{"key":"10.1016\/S0065-2458(08)60402-7_bib31_2","series-title":"In \u201cArtificial Intelligence and Software Engineering,\u201d","first-page":"155","year":"1991"},{"key":"10.1016\/S0065-2458(08)60402-7_bib31_3","series-title":"In \u201cArtificial Intelligence at MIT: Expanding Frontiers","first-page":"166","year":"1990"},{"key":"10.1016\/S0065-2458(08)60402-7_bib32","series-title":"The Programmer's Apprentice","author":"Rich","year":"1990"},{"issue":"6","key":"10.1016\/S0065-2458(08)60402-7_bib33_1","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/TSE.1978.233873","article-title":"Automating the selection of implementation structures","volume":"4","author":"Rowe","year":"1978","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60402-7_bib33_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib34_1","first-page":"675","article-title":"Protosystem I: an automatic programming system prototype","author":"Ruth","year":"1978","journal-title":"In \u201cProceedings of the AFIPS National Computer Conference"},{"key":"10.1016\/S0065-2458(08)60402-7_bib34_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib35","series-title":"Programming with Sets: An Introduction to SETL","author":"Schwartz","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib36","series-title":"In \u201cProceedings of the 4th International Joint Conference on Artificial Intelligence","first-page":"260","article-title":"Inferring LISP programs from examples","author":"Shaw","year":"1975"},{"key":"10.1016\/S0065-2458(08)60402-7_bib37","series-title":"In \u201cProceedings of the 4th International Joint Conference on Artificial Intelligence","first-page":"268","article-title":"Automatic program synthesis from example problems","author":"Siklossy","year":"1975"},{"key":"10.1016\/S0065-2458(08)60402-7_bib38","series-title":"In \u201cAutomatic Program Construction Techniques,\u201d","first-page":"307","article-title":"The synthesis of LISP programs from examples: a survey","author":"Smith","year":"1984"},{"key":"10.1016\/S0065-2458(08)60402-7_bib39","series-title":"In \u201cProceedings of the ACM SIGPLAN\/SIGOA Symposium on Text Manipulation","article-title":"EMACS: the extensible, customizable self-documenting display editor","author":"Stallman","year":"1981"},{"issue":"1","key":"10.1016\/S0065-2458(08)60402-7_bib40_1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/321992.322002","article-title":"A methodology for LISP program construction from examples","volume":"24","author":"Summers","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/S0065-2458(08)60402-7_bib40_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"key":"10.1016\/S0065-2458(08)60402-7_bib41","first-page":"402","article-title":"The GIST Behavior Explainer","author":"Swartout","year":"1983","journal-title":"In \u201cProceedings of the 3rd National Conference on Artificial Intelligence"},{"issue":"l1","key":"10.1016\/S0065-2458(08)60402-7_bib42_1","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1109\/TSE.1985.231880","article-title":"The Programmer's Apprentice: a session with KBEmacs","volume":"ll","author":"Waters","year":"1985","journal-title":"EEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60402-7_bib42_2","series-title":"In \u201cReadings in Artificial Intelligence and Software Engineering,\u201d","year":"1986"},{"issue":"2","key":"10.1016\/S0065-2458(08)60402-7_bib43","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/122538.122543","article-title":"Toward a Design Apprentice: supporting reuse and evolution in software design","volume":"16","author":"Waters","year":"1991","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"issue":"1\u20132","key":"10.1016\/S0065-2458(08)60402-7_bib44","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(90)90039-3","article-title":"Automated program recognition: a feasibility demonstration","volume":"45","author":"Wills","year":"1990","journal-title":"Artificial Intelligence."},{"key":"10.1016\/S0065-2458(08)60402-7_bib45","series-title":"Technical Report 1385","article-title":"Automated program recognition by graph parsing","author":"Wills","year":"1992"},{"key":"10.1016\/S0065-2458(08)60402-7_bib46","series-title":"Systematic Programming, an Introduction","author":"Wirth","year":"1973"},{"issue":"4","key":"10.1016\/S0065-2458(08)60402-7_bib47","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","article-title":"An introduction to the construction and verification of Alphard programs","volume":"2","author":"Wulf","year":"1976","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Advances in Computers","Advances in Computers Volume 37"],"original-title":[],"deposited":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T12:52:26Z","timestamp":1544014346000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808604027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60402-7","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1993]]}}}