{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T15:05:40Z","timestamp":1774883140429,"version":"3.50.1"},"reference-count":28,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1985,9,1]],"date-time":"1985-09-01T00:00:00Z","timestamp":494380800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1985,9]]},"DOI":"10.1016\/0004-3702(85)90083-9","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"43-96","source":"Crossref","is-referenced-by-count":111,"title":["Top-down synthesis of divide-and-conquer algorithms"],"prefix":"10.1016","volume":"27","author":[{"given":"Douglas R.","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(85)90083-9_BIB1","series-title":"Data Structures and Algorithms","author":"Aho","year":"1983"},{"issue":"1","key":"10.1016\/0004-3702(85)90083-9_BIB2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1981.230814","article-title":"Transformational implementation: An example","volume":"7","author":"Balzer","year":"1981","journal-title":"IEEE Trans. Software Engrg"},{"key":"10.1016\/0004-3702(85)90083-9_BIB3","series-title":"Knowledge-Based Program Construction","author":"Barstow","year":"1979"},{"key":"10.1016\/0004-3702(85)90083-9_BIB4","series-title":"Proceedings Sixth International Joint Conference on Artificial Intelligence","first-page":"37","article-title":"The roles of knowledge and deduction in program synthesis","author":"Barstow","year":"1979"},{"key":"10.1016\/0004-3702(85)90083-9_BIB5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(80)90050-8","article-title":"Syntax-directed, semantics-supported program synthesis","volume":"14","author":"Bibel","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(85)90083-9_BIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(77)90012-1","article-title":"Non-resolution theorem proving","volume":"9","author":"Bledsoe","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(85)90083-9_BIB7","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/TSE.1981.230815","article-title":"Program development as a formal activity","volume":"7","author":"Broy","year":"1981","journal-title":"IEEE Trans. Software Engrg"},{"key":"10.1016\/0004-3702(85)90083-9_BIB8","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"A transformation system for developing recursive programs","volume":"24","author":"Burstall","year":"1977","journal-title":"J. ACM"},{"issue":"1","key":"10.1016\/0004-3702(85)90083-9_BIB9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1093\/comjnl\/23.1.61","article-title":"Algorithm classification through synthesis","volume":"23","author":"Clark","year":"1980","journal-title":"Computer J"},{"issue":"1","key":"10.1016\/0004-3702(85)90083-9_BIB10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264597","article-title":"A synthesis of several sort programs","volume":"11","author":"Darlington","year":"1978","journal-title":"Acta Inform"},{"key":"10.1016\/0004-3702(85)90083-9_BIB11","series-title":"Proceedings Colloques IRIA on Proving and Improving Programs","article-title":"On automating structured programming","author":"Dershowitz","year":"1975"},{"key":"10.1016\/0004-3702(85)90083-9_BIB12","series-title":"The Evolution of Programs","author":"Dershowitz","year":"1983"},{"key":"10.1016\/0004-3702(85)90083-9_BIB13","series-title":"Proceedings International Workshop on Program Construction","article-title":"Combining program synthesis with program analysis","author":"Follett","year":"1980"},{"key":"10.1016\/0004-3702(85)90083-9_BIB14","series-title":"Proceedings International Conference on Reliable Software","first-page":"88","article-title":"Knowledge about programs: A model and case study","author":"Gerhart","year":"1975"},{"issue":"4","key":"10.1016\/0004-3702(85)90083-9_BIB15","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1109\/TSE.1976.233834","article-title":"Control structure abstractions of the backtrack programming technique","volume":"2","author":"Gerhart","year":"1976","journal-title":"IEEE Trans. Software Engrg"},{"key":"10.1016\/0004-3702(85)90083-9_BIB16","series-title":"Proceedings First International Joint Conference on Artificial Intelligence","article-title":"Application of theorem proving to problem solving","author":"Green","year":"1969"},{"key":"10.1016\/0004-3702(85)90083-9_BIB17","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0004-3702(78)80016-2","article-title":"On program synthesis knowledge","volume":"10","author":"Green","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(85)90083-9_BIB18","series-title":"Tech. Rept. RADC-TR 83\u2013195","article-title":"Report on a knowledge-based software assistant","author":"Green","year":"1983"},{"key":"10.1016\/0004-3702(85)90083-9_BIB19","series-title":"Ph.D. Dissertation","article-title":"Synthesis of recursive programs","author":"Laaser","year":"1979"},{"issue":"4","key":"10.1016\/0004-3702(85)90083-9_BIB20","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TSE.1979.234198","article-title":"Synthesis: dreams \u21d2 programs","volume":"5","author":"Manna","year":"1979","journal-title":"IEEE Trans. Software Engrg"},{"issue":"1","key":"10.1016\/0004-3702(85)90083-9_BIB21","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A deductive approach to program synthesis","volume":"2","author":"Manna","year":"1980","journal-title":"ACM TOPLAS"},{"issue":"3","key":"10.1016\/0004-3702(85)90083-9_BIB22","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","article-title":"Justification of the structural synthesis of programs","volume":"2","author":"Minty","year":"1982","journal-title":"Sci. Comput. Programming"},{"issue":"12","key":"10.1016\/0004-3702(85)90083-9_BIB23","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used in decomposing systems into modules","volume":"15","author":"Parnas","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(85)90083-9_BIB24","series-title":"Sixth Conference on Automated Deduction","first-page":"172","article-title":"Derived preconditions and their use in program synthesis","volume":"138","author":"Smith","year":"1982"},{"key":"10.1016\/0004-3702(85)90083-9_BIB25","article-title":"Top-down synthesis of simple divide and conquer algorithms","author":"Smith","year":"1982"},{"key":"10.1016\/0004-3702(85)90083-9_BIB26","series-title":"Tech. Rept. NPS52-83-002","article-title":"The structure of divide and conquer algorithms","author":"Smith","year":"1983"},{"key":"10.1016\/0004-3702(85)90083-9_BIB27","series-title":"Tech. Rept. KES.U.85.4","article-title":"Reasoning by cases and the formation of conditional programs","author":"Smith","year":"1985"},{"key":"10.1016\/0004-3702(85)90083-9_BIB28","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1145\/358557.358572","article-title":"On the inevitable intertwining of specification and implementation","volume":"25","author":"Swartout","year":"1982","journal-title":"Comm. ACM"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370285900839?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370285900839?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:53:40Z","timestamp":1553630020000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370285900839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,9]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,9]]}},"alternative-id":["0004370285900839"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(85)90083-9","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1985,9]]}}}