{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:07Z","timestamp":1725663367230},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159841"},{"type":"electronic","value":"9783540396857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_330","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:27:08Z","timestamp":1330194428000},"page":"568-569","source":"Crossref","is-referenced-by-count":1,"title":["A methodology for automatic programming based on the constructive matching strategy"],"prefix":"10.1007","author":[{"given":"Marta","family":"Fra\u0148ov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"2","key":"102_CR1","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/357162.357171","volume":"4","author":"J. Arsac","year":"1982","unstructured":"J. Arsac, Y. Kodratoff: Some Techniques for Recursion Removal from Recursive Function; ACM Transactions on Programming Languages and Systems, Vol. 4, No. 2, April 1982, pp. 295\u2013322.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"102_CR2","first-page":"69","volume-title":"Automatic Program Construction Techniques","author":"W. Bibel","year":"1984","unstructured":"W. Bibel, K.M. Hornig: LOPS \u2014 A System Based on a Strategical Approach to Program Synthesis: in: A.W. Bierman, G. Guiho, Y. Kodratoff (eds.): Automatic Program Construction Techniques; Macmillan Publishing Company, London 1984, 69\u201391."},{"key":"102_CR3","unstructured":"R.S. Boyer, J.S. Moore: A Computational Logic; Academic Press, 1979."},{"key":"102_CR4","first-page":"139","volume-title":"Automatic Program Construction Techniques","author":"J. Darlington","year":"1984","unstructured":"J. Darlington: The Dessign of Efficient Data Representations; in A.W. Bierman, G. Guiho, Y. Kodratoff (eds.): Automatic Program Construction Techniques; Macmillan Publishing Company, London 1984, pp. 139\u2013159."},{"key":"102_CR5","unstructured":"M. Fra\u0148ovd: CM \u2014 Strategy \u2014 Driven Deductions for Automatic Programming; in T. O'Shea (ed.): ECAI.84: Advances in Artificial Intelligence, Elsevier Science Publishers B.V. (North-Holland), 1984, pp. 573\u2013576."},{"key":"102_CR6","unstructured":"G.Kreisel: Neglected Possibilities of Processing Assertions and Proofs Mechanically: Choice of Problems and Data; in P.Suppes,ed.: University-Level Computer-Assisted Instruction at Stanford: 1968\u20131980; Stanford University, 1981, pp. 131\u2013148."},{"issue":"1","key":"102_CR7","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Z. Manna and R. Waldinger: A Deductive Approach to Program Synthesis; ACM Transactions on Programming Languages and Systems, Vol. 2., No. 1, January 1980, pp. 90\u2013121.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"102_CR8","unstructured":"P. Martin-Lof: Constructive Mathematics and Computer programming; read at the 6-th International Congress for Logic, Methodology of Science, Hannover 1979."},{"key":"102_CR9","series-title":"Technical Report","volume-title":"Top-Down Synthesis of Simple Divide and Conquer Algorithm","author":"R.D. Smith","year":"1982","unstructured":"R.D. Smith: Top-Down Synthesis of Simple Divide and Conquer Algorithm; Technical Report NPS52-82-011, Naval Postgraduate School, Monterey, CA 93940, November 1982."}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_330.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:01:01Z","timestamp":1619557261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_330","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}