{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T19:09:45Z","timestamp":1718651385507},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1985,6,1]],"date-time":"1985-06-01T00:00:00Z","timestamp":486432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10273,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1985,6]]},"DOI":"10.1016\/s0747-7171(85)80010-9","type":"journal-article","created":{"date-parts":[[2008,3,29]],"date-time":"2008-03-29T10:14:04Z","timestamp":1206785644000},"page":"119-142","source":"Crossref","is-referenced-by-count":19,"title":["Automatic programming : A tutorial on formal methodologies"],"prefix":"10.1016","volume":"1","author":[{"given":"Alan W.","family":"Biermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(85)80010-9_bib1","first-page":"494","article-title":"A Global View of Automatic Programming","author":"Balzer","year":"1973","journal-title":"Proc. of Third Joint Conference on Artificial Intelligence"},{"key":"10.1016\/S0747-7171(85)80010-9_bib2","volume":"2","year":"1982"},{"key":"10.1016\/S0747-7171(85)80010-9_bib3","series-title":"Automatic Program Construction Techniques","first-page":"69","article-title":"LOPS, a system based on a strategical approach to program synthesis","author":"Bibel","year":"1984"},{"key":"10.1016\/S0747-7171(85)80010-9_bib4","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0004-3702(72)90048-3","article-title":"On the inference of Turing machines from sample computations","volume":"3","author":"Biermann","year":"1972","journal-title":"Artif.Intell"},{"key":"10.1016\/S0747-7171(85)80010-9_bib5","first-page":"1","article-title":"Approaches to automatic programming","volume":"15","author":"Biermann","year":"1976"},{"key":"10.1016\/S0747-7171(85)80010-9_bib6","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/TSMC.1978.4310035","article-title":"The inference of regular LISP programs from examples","volume":"8","author":"Biermann","year":"1978","journal-title":"IEEE Trans.Systems, Man, Cybern"},{"key":"10.1016\/S0747-7171(85)80010-9_bib7","series-title":"Computer Program Synthesis Methodologies","first-page":"335","article-title":"Natural language programming","author":"Biermann","year":"1983"},{"key":"10.1016\/S0747-7171(85)80010-9_bib8","series-title":"IEEE Trans.Comput.C-24.","article-title":"Speeding up the synthesis of programs from traces","author":"Biermann","year":"1975"},{"key":"10.1016\/S0747-7171(85)80010-9_bib9","series-title":"Computer Program Synthesis Methodologies","year":"1983"},{"key":"10.1016\/S0747-7171(85)80010-9_bib10","series-title":"Automatic Program Construction Techniques","year":"1984"},{"key":"10.1016\/S0747-7171(85)80010-9_bib11","series-title":"IEEE Trans. Software Eng.SE-2.","article-title":"Constructing programs from example computations","author":"Biermann","year":"1976"},{"key":"10.1016\/S0747-7171(85)80010-9_bib12","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TSMC.1979.4310195","article-title":"A production rule mechanism for generating LISP code","volume":"SMC-9","author":"Biermann","year":"1979","journal-title":"IEEE Trans. Systems, Man, Cyber"},{"key":"10.1016\/S0747-7171(85)80010-9_bib13","series-title":"Computer Program Synthesis Methodologies","first-page":"1","article-title":"Program construction by transformations : a family tree of sorting programs","author":"Broy","year":"1983"},{"key":"10.1016\/S0747-7171(85)80010-9_bib14","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"A transformation system for developing recursive programs","author":"Burstall","year":"1977","journal-title":"J.Assoc. Comp"},{"key":"10.1016\/S0747-7171(85)80010-9_bib15","series-title":"Automatic Program Construction Techniques","first-page":"463","article-title":"Program synthesis through concept learning","author":"Cohen","year":"1984"},{"key":"10.1016\/S0747-7171(85)80010-9_bib16","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1137\/0205030","article-title":"Proof theory of partial correctness verification systems","volume":"5","author":"Gerhart","year":"1976","journal-title":"SIAM J.Comp."},{"key":"10.1016\/S0747-7171(85)80010-9_bib17","series-title":"Proceedings of the Second International Conference on Software Engineering","article-title":"The design of the PSI program synthesis system","author":"Green","year":"1976"},{"key":"10.1016\/S0747-7171(85)80010-9_bib18","series-title":"Natural Language Inputs to a Simulation Programming System.Monterey, California : Technical Report, Naval Postgraduate School.","author":"Heidorn","year":"1972"},{"key":"10.1016\/S0747-7171(85)80010-9_bib19","series-title":"Automatic Program Construction Techniques","first-page":"325","article-title":"Synthesizing LISP programs working on the list level of embedding","author":"Kodratoff","year":"1984"},{"key":"10.1016\/S0747-7171(85)80010-9_bib20","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TSE.1979.234198","article-title":"Synthesis : dreams \u21d2 program","volume":"5","author":"Manna","year":"1979","journal-title":"IEEE Trans.Software Eng."},{"key":"10.1016\/S0747-7171(85)80010-9_bib21","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A deductive approach to program synthesis.ACM Trans.","volume":"2","author":"Manna","year":"1980","journal-title":"Programming Languages and Systems"},{"key":"10.1016\/S0747-7171(85)80010-9_bib22","series-title":"Internal Memos, Automatic Programming Group","author":"Martin","year":"1974"},{"key":"10.1016\/S0747-7171(85)80010-9_bib23","series-title":"IEEE Trans.Pattern Analysis Machine Intell","article-title":"Pattern recognition as rule-guided inductive inference","author":"Michalski","year":"1980"},{"key":"10.1016\/S0747-7171(85)80010-9_bib24","series-title":"Automatic Program Construction Techniques","first-page":"273","article-title":"Scheduling equational specifications and non-procedural programs","author":"Pnueli","year":"1984"},{"key":"10.1016\/S0747-7171(85)80010-9_bib25","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/357073.357076","article-title":"Use of a non-procedural specification language and associated program generator in software development.ACM","volume":"1","author":"Prywes","year":"1979","journal-title":"Trans.Programming Languages and Systems"},{"key":"10.1016\/S0747-7171(85)80010-9_bib26","series-title":"New Haven : Department of Computer Science","article-title":"Inductive inference of theories from facts.Report 192","author":"Shapiro","year":"1981"},{"key":"10.1016\/S0747-7171(85)80010-9_bib27","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(85)90083-9","article-title":"Top-down synthesis of simple divide and conquer algorithms","author":"Smith","year":"1985","journal-title":"Artif.Intell"},{"key":"10.1016\/S0747-7171(85)80010-9_bib28","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/321992.322002","article-title":"A methodology for LISP program construction from examples","author":"Summers","year":"1977","journal-title":"J.Assoc.Comp"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717185800109?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717185800109?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,30]],"date-time":"2018-12-30T12:54:17Z","timestamp":1546174457000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717185800109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,6]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,6]]}},"alternative-id":["S0747717185800109"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(85)80010-9","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1985,6]]}}}