{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:46:19Z","timestamp":1752230779475},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1979,12,1]],"date-time":"1979-12-01T00:00:00Z","timestamp":312854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1979,12]]},"DOI":"10.1007\/bf00995500","type":"journal-article","created":{"date-parts":[[2005,1,18]],"date-time":"2005-01-18T17:56:40Z","timestamp":1106071000000},"page":"489-521","source":"Crossref","is-referenced-by-count":20,"title":["A class of functions synthesized from a finite number of examples and a lisp program scheme"],"prefix":"10.1007","volume":"8","author":[{"given":"Yves","family":"Kodratoff","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/TSMC.1978.4310035","volume":"8","author":"A. W. Biermann","year":"1978","unstructured":"A. W. Biermann, ?The inference of regular lisp programs from examples,?IEEE Trans. Syst. Man Cybern. 8:585?600 (1978); A. W. Biermann and D. R. Smith, ?The hierarchical synthesis of lisp scanning programs,? in B. Gilchrist, ed.,Information Processing 77 (North Holland, Amsterdam, 1977), pp. 41?45.","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/321864.321875","volume":"22","author":"R. S. Boyer","year":"1975","unstructured":"R. S. Boyer and H. S. Moore, ?Proving theorems about lisp functions,?JACM 22:129?144 (1975).","journal-title":"JACM"},{"key":"CR3","unstructured":"B. Courcelle, G. Cousineau, and M. Nivat,The Theory of Program Schemes (North Holland, to be published)."},{"key":"CR4","unstructured":"D. P. Friedmann and D. S. Wise, ?CONS Should Not Evaluate Its Arguments,? in S. Michaelson and R. Milner, eds.,Automata, Languages and Programming, (Edinburgh University Press, 1976), pp. 257?281."},{"key":"CR5","unstructured":"A. Grzegorczyk, ?Some classes of recursive functions,?Rozpr. Math. (1953), pp. 3?45."},{"key":"CR6","series-title":"MEMO AIM-240","doi-asserted-by":"crossref","DOI":"10.21236\/AD0787035","volume-title":"Progress Report on Program-Understanding Systems","author":"C. C. Green","year":"1974","unstructured":"C. C. Green, R. J. Waldinger, D. R. Barstow, R. Elschlager, D. B. Lenat, B. P. McCune, D. E. Shaw, and L. I. Steinberg, ?Progress Report on Program-Understanding Systems,? MEMO AIM-240, Stanford Artificial Intelligence Laboratory, Stanford, California (1974)."},{"key":"CR7","unstructured":"S. Hardy, ?Synthesis of lisp Functions from Examples,?Fourth International Joint Conference on Artificial Intelligence: Advance Papers (1975), pp. 268?273."},{"key":"CR8","volume-title":"Thesis","author":"G. Huet","year":"1976","unstructured":"G. Huet, ?R\u00e9solution d'\u00e9quations dans les langages d'ordre 1, 2,..., ?,? Thesis, Universit\u00e9 Paris VII, Paris (1976)."},{"key":"CR9","unstructured":"J. P. Jouannaud and G. Guiho, ?Inference of functions with an interactive system,?Mach. Intell. 9, in press."},{"key":"CR10","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna,Mathematical Theory of Computation (McGraw-Hill, New York, 1974)."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16","author":"Z. Manna","year":"1973","unstructured":"Z. Manna, S. Ness, and J. Vuillemin, ?Inductive methods for proving properties of programs,?Commun. ACM 16:491?502 (1973).","journal-title":"Commun. ACM"},{"key":"CR12","doi-asserted-by":"crossref","DOI":"10.21236\/AD0406138","volume-title":"Lisp 1.5 Programmer's Manual","author":"J. McCarthy","year":"1962","unstructured":"J. McCarthy, P. W. Abrahams, D. J. Edwards, T. P. Hart, and M. E. Levin,Lisp 1.5 Programmer's Manual (M.I.T. Press, Cambridge, Massachusetts, 1962)."},{"key":"CR13","volume-title":"Ph.D. thesis","author":"G. D. Plotkin","year":"1971","unstructured":"G. D. Plotkin, ?Automatic Methods of Inductive Inference,? Ph.D. thesis, University of Edinburgh, Edinburgh (1971)."},{"key":"CR14","unstructured":"D. Shaw, W. Swartout, and C. Green, ?Infering lisp Programs from Example Problems,?Fourth International Joint Conference on Artificial Intelligence, Advance Papers (1975), pp. 268?273."},{"key":"CR15","unstructured":"L. Siklossy and D. A. Sykes, ?Automatic Program Synthesis from Example Problems,?Fourth International Joint Conference on Artificial Intelligence, Advance Papers (1975), pp. 268?273."},{"key":"CR16","unstructured":"L. Siklossy, ?The Synthesis of Programs from Their Properties, and the Insane Heuristic,?Proceedings of the Third Texas Conference on Computer Systems, Austin, Texas (1974)."},{"key":"CR17","volume-title":"Ph.D. thesis","author":"P. D. Summers","year":"1975","unstructured":"P. D. Summers, ?Program Construction from Examples,? Ph.D. thesis, Yale University, New Haven, Connecticut (1975)."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/321992.322002","volume":"24","author":"P. D. Summers","year":"1977","unstructured":"P. D. Summers, ?A methodology for lisp program construction from examples,?JACM 24:161?175 (1977).","journal-title":"JACM"},{"key":"CR19","series-title":"Memo AI TR-231","volume-title":"Learning Structural Description from Examples","author":"P. H. Winston","year":"1970","unstructured":"P. H. Winston, ?Learning Structural Description from Examples,? Memo AI TR-231, M.I.T. Artificial Intelligence Laboratory, Cambridge, Massachusetts (1970)."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/TSE.1976.233533","volume":"2","author":"B. Wegbreit","year":"1976","unstructured":"B. Wegbreit, ?Goal directed program transformation,?IEEE Trans, on Software Engineering 2:69?80 (1976).","journal-title":"IEEE Trans, on Software Engineering"}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00995500.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00995500\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00995500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:59:13Z","timestamp":1556578753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00995500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["BF00995500"],"URL":"https:\/\/doi.org\/10.1007\/bf00995500","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}