{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:00Z","timestamp":1725663300051},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159834"},{"type":"electronic","value":"9783540396840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15983-5_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:26:45Z","timestamp":1330176405000},"page":"124-135","source":"Crossref","is-referenced-by-count":0,"title":["Algorithmic methods in automatic programming"],"prefix":"10.1007","author":[{"given":"Alan W.","family":"Biermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"volume-title":"Handbook of Artificial Intelligence, Vol. 2","year":"1982","key":"11_CR1","unstructured":"A. Barr and E.A. Feigenbaum (Editors), Handbook of Artificial Intelligence, Vol. 2, William Kaufmann, Inc., Los Altos, 1982."},{"key":"11_CR2","unstructured":"W. Bibel and K.M. H\u00f6rnig, \u201cLOPS, A System based on a strategical approach to program synthesis\u201d, in Automatic Program Construction Techniques (Eds. A. Biermann, G. Guiho, Y. Kodratoff), 69\u201389, 1984."},{"key":"11_CR3","first-page":"1","volume-title":"Advances in Computers 15","author":"A.W. Biermann","year":"1976","unstructured":"A.W. Biermann, \u201cApproaches to automatic programming,\u201d, in Advances in Computers 15, Academic Press, New York, 1\u201363, 1976."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"A.W. Biermann, \u201cAutomatic Programming: A Tutorial on Formal Methodologies\u201d, Journal of Symbolic Computation, Vol. 1, No. 2, 1985.","DOI":"10.1016\/S0747-7171(85)80010-9"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"A.W. Biermann and G. Guiho (Editors), Computer Program Synthesis Methodologies, D. Reidel Publishing Co., 1983.","DOI":"10.1007\/978-94-009-7019-9"},{"key":"11_CR6","unstructured":"A.W. Biermann, G. Guiho, and Y. Kodratoff (Editors), Automatic Program Construction Techniques, Macmillan Publishing Co., 1984."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M. Broy, \u201cProgram construction by transformations: a family tree of sorting programs\u201d, in Computer Program Synthesis Methodologies (Editors: A. Biermann and G. Guiho), 1\u201349, 1983.","DOI":"10.1007\/978-94-009-7019-9_1"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington, \u201cA transformation system for developing recursive programs\u201d, Journal of the ACM 24, 44\u201367, 1977.","journal-title":"Journal of the ACM"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1137\/0205030","volume":"5","author":"S.L. Gerhart","year":"1976","unstructured":"S.L. Gerhart, \u201cProof theory of partial correctness verification systems\u201d, SIAM Journal of Computing 5, 355\u2013377, 1976.","journal-title":"SIAM Journal of Computing"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TSE.1979.234198","volume":"SE-5","author":"Z. Manna","year":"1979","unstructured":"Z. Manna and R. Waldinger, \u201cSynthesis: dreams \u21d2 programs\u201d, IEEE Transactions on Software Engineering SE-5, 294\u2013328, 1979.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR11","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, \u201cA deductive approach to program synthesis\u201d, ACM Transactions on Programming Languages and Systems 2, 90\u2013121, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"D.R. Smith, \u201cTop-down synthesis of simple divide and conquer algorithms\u201d, to appear in Artificial Intelligence, 1985.","DOI":"10.1016\/B978-0-934613-12-5.50007-0"}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15983-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:10Z","timestamp":1605625750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15983-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159834","9783540396840"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-15983-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}