{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:18Z","timestamp":1725663198687},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100096"},{"type":"electronic","value":"9783540381402"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10009-1_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:03:51Z","timestamp":1330189431000},"page":"53-62","source":"Crossref","is-referenced-by-count":2,"title":["Program synthesis from incomplete specifications"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Guiho","sequence":"first","affiliation":[]},{"given":"Christian","family":"Gresse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"5_CR1","unstructured":"M. BIDOIT, Ch. GRESSE, G. GUIHO: \"A system which synthesizes array-manipulating programs from specifications\". Proc. 6th IJCAI, p. 63\u201365, Tokyo 1979."},{"key":"5_CR2","unstructured":"W. BIBEL: \"Syntax-directed, semantic \u2014 supported program synthesis\". proc. 4th Workshop on Automated Deduction, p. 140\u2013147, Austin (Texas) 1979."},{"key":"5_CR3","unstructured":"GREEN. C. Cordell: \"A summary of the PSI program synthesis system\". Proc. 5th IJCAI. Cambridge 1977. P. 380\u2013381."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"J. GUTTAG, J. HORNING: \"The Algebraic specification of abstract data types\". Acta Informatica 10, 1978.","DOI":"10.1007\/BF00260922"},{"key":"5_CR5","unstructured":"D.J. LEHMAN, M.A. SMITH: \"Abstract data types: a synthetic approach\". Technical Note, Warwick, 1977."},{"key":"5_CR6","unstructured":"Y. KODRATOFF: \"Choix d'un programme LISP correspondant \u00e0 un exemple\". Congr\u00e8s AFCET, Chatenay-Malabry (France), 1978."},{"key":"5_CR7","unstructured":"Z. MANNA, R. WALDINGER: \"Synthesis: Dreams\u2192Programs\". Technical Note 156. SRI, 1977."},{"key":"5_CR8","unstructured":"Z. MANNA, R. WALDINGER: \"A deductive approach to program synthesis\". Proc. 6th IJCAI, p. 542\u2013551, Tokyo 1979."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"B. WEGBREIT: \"Goal directed program transformations\". IEEE Trans. on Software Eng., vol. 2, No2, 1976.","DOI":"10.1109\/TSE.1976.233533"}],"container-title":["Lecture Notes in Computer Science","5th Conference on Automated Deduction Les Arcs, France, July 8\u201311, 1980"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10009-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:35Z","timestamp":1605643355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10009-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100096","9783540381402"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-10009-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}