{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T04:20:54Z","timestamp":1648527654918},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern."],"published-print":{"date-parts":[[1979]]},"DOI":"10.1109\/tsmc.1979.4310195","type":"journal-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:05Z","timestamp":1216734365000},"page":"260-276","source":"Crossref","is-referenced-by-count":8,"title":["A Production Rule Mechanism for Generating LISP Code"],"prefix":"10.1109","volume":"9","author":[{"given":"Alan W.","family":"Biermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas R.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90003-0"},{"key":"ref11","first-page":"300","article-title":"An overview of production rule systems","volume":"8","author":"davis","year":"1977","journal-title":"Machine Intelligence"},{"key":"ref12","first-page":"1014","article-title":"The art of artificial intelligence","author":"feigenbaum","year":"1977","journal-title":"Proc 5th Int Joint Conf Artificial Intelligence"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.21236\/AD0787035","author":"green","year":"1974","journal-title":"Progress report on program understanding systems"},{"key":"ref14","first-page":"4","article-title":"The design of the psi program synthesis system","author":"green","year":"1976","journal-title":"Proc 2nd Int Conf Software Engineering"},{"key":"ref15","first-page":"240","article-title":"Synthesis of LISP functions from examples","author":"hardy","year":"1975","journal-title":"Advance Papers of the 4th Int Joint Conf on Artificial Intelligence"},{"key":"ref16","author":"heidorn","year":"1976","journal-title":"Supporting a computer directed natural language dialogue for automatic business programming"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/029\/15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/362566.362568"},{"key":"ref19","author":"manna","year":"1977","journal-title":"Synthesis Dreams => programs"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(70)90004-4"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(08)60519-7","volume":"15","author":"biermann","year":"1976","journal-title":"Advances in Computers"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/800168.811541"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233812"},{"key":"ref6","first-page":"41","article-title":"Hierarchical synthesis of LISP scanning functions","author":"biermann","year":"1977","journal-title":"Information Processing 1977"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1978.4310035"},{"key":"ref8","author":"biggerstaff","year":"1976","journal-title":"C2 A super-compiler approach to automatic programming"},{"key":"ref7","author":"biermann","year":"1977","journal-title":"A production rule mechanism for generating LISP code"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA053184","author":"barstow","year":"1977","journal-title":"Automatic construction of algorithms and data structures using a knowledge base of programming rules"},{"key":"ref9","author":"biggerstaff","year":"1977","journal-title":"Design directed program synthesis"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231480"},{"key":"ref20","author":"martin","year":"1974","journal-title":"Internal Memo"},{"key":"ref22","author":"nilsson","year":"1971","journal-title":"Problem Solving Methods in Artificial Intelligence"},{"key":"ref21","author":"mccarthy","year":"1965","journal-title":"LISP 1 5 Programmers Manual"},{"key":"ref24","first-page":"268","article-title":"Automatic program synthesis from example problems","author":"sikl\ufffdssy","year":"1975","journal-title":"Advance Papers of the 4th Int Joint Conf on Artificial Intelligence"},{"key":"ref23","first-page":"260","article-title":"Inferring LISP programs from examples","author":"shaw","year":"1975","journal-title":"Int Joint Conf Artificial Intelligence"},{"key":"ref26","author":"summers","year":"1975","journal-title":"Program construction from examples"},{"key":"ref25","author":"smith","year":"1977","journal-title":"A class of synthesizeable LISP programs"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/21\/4310191\/04310195.pdf?arnumber=4310195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T21:16:18Z","timestamp":1557695778000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4310195\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"references-count":28,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.1979.4310195","relation":{},"ISSN":["0018-9472"],"issn-type":[{"value":"0018-9472","type":"print"}],"subject":[],"published":{"date-parts":[[1979]]}}}