{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:13:03Z","timestamp":1773655983939,"version":"3.50.1"},"reference-count":29,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1983,5,1]],"date-time":"1983-05-01T00:00:00Z","timestamp":420595200000},"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":[[1983,5]]},"DOI":"10.1016\/0004-3702(83)90009-7","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"253-305","source":"Crossref","is-referenced-by-count":43,"title":["On the efficient synthesis of efficient programs"],"prefix":"10.1016","volume":"20","author":[{"given":"Elaine","family":"Kant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0004-3702(83)90009-7_BIB1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1981.230814","article-title":"Transformational implementation: an example","volume":"7","author":"Blazer","year":"1981","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0004-3702(83)90009-7_BIB2","series-title":"Proceedings of the Second International Conference on Software Engineering","first-page":"19","article-title":"Observations on the interaction between coding and efficiency knowledge in the psi synthesis system","author":"Barstow","year":"1976"},{"key":"10.1016\/0004-3702(83)90009-7_BIB3","author":"Barstow","year":"1979"},{"key":"10.1016\/0004-3702(83)90009-7_BIB4","doi-asserted-by":"crossref","DOI":"10.1145\/321992.321996","article-title":"A transformation system for developing recursive programs","volume":"24","author":"Burstall","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(83)90009-7_BIB5","series-title":"Proceedings of the 4th International Conference on Software Engineering","first-page":"53","article-title":"A system for program refinement","author":"Cheatham","year":"1979"},{"key":"10.1016\/0004-3702(83)90009-7_BIB6","series-title":"Proceedings Second International Conference on Software Engineering","first-page":"4","article-title":"The design of the psi program synthesis system","author":"Green","year":"1976"},{"key":"10.1016\/0004-3702(83)90009-7_BIB7","series-title":"Proceedings of the Sixth International Joint Conference on Artifical Intelligence","first-page":"342","article-title":"Results in knowledge-based program synthesis","author":"Green","year":"1979"},{"key":"10.1016\/0004-3702(83)90009-7_BIB8","article-title":"Efficiency considerations in program synthesis: a knowledge-based approach","author":"Kant","year":"1979"},{"key":"10.1016\/0004-3702(83)90009-7_BIB9","unstructured":"Knuth, D.E., Bit manipulation, Draft of Section 7.1 of The Art of Computer Programming."},{"key":"10.1016\/0004-3702(83)90009-7_BIB10","doi-asserted-by":"crossref","DOI":"10.1109\/SFCS.1979.38","article-title":"Semantics of probabilistic programs","author":"Kozen","year":"1979"},{"issue":"8","key":"10.1016\/0004-3702(83)90009-7_BIB11","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","article-title":"Abstraction mechanisms in clu","volume":"20","author":"Liskov","year":"1977","journal-title":"Comm. ACM"},{"issue":"5","key":"10.1016\/0004-3702(83)90009-7_BIB12","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1145\/359488.359498","article-title":"Automatic data structure selection: an example and overview","volume":"21","author":"Low","year":"1978","journal-title":"Comm. ACM"},{"issue":"4","key":"10.1016\/0004-3702(83)90009-7_BIB13","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TSE.1979.234198","article-title":"Synthesis: dreams\u21d2programs","volume":"5","author":"Manna","year":"1979","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0004-3702(83)90009-7_BIB14","article-title":"Automated design and optimization of management information system software","author":"Morgenstern","year":"1976"},{"key":"10.1016\/0004-3702(83)90009-7_BIB15","unstructured":"Nelson, B., The psi interpreter, Unpublished masters project, Stanford University, Computer Science Department."},{"key":"10.1016\/0004-3702(83)90009-7_BIB16","article-title":"Self-described programming environments","author":"Phillips","year":"1983"},{"key":"10.1016\/0004-3702(83)90009-7_BIB17","article-title":"Formalizing the analysis of algorithms","author":"Ramshaw","year":"1979"},{"key":"10.1016\/0004-3702(83)90009-7_BIB18","series-title":"Proceedings of the Symposium on Artifical Intelligence and Programming Languages","first-page":"147","article-title":"Selection of representations for data structures","author":"Rosenschein","year":"1977"},{"key":"10.1016\/0004-3702(83)90009-7_BIB19","article-title":"Automatic representation selection for associative data structures","author":"Rovner","year":"1976"},{"key":"10.1016\/0004-3702(83)90009-7_BIB20","article-title":"A formalization of modelling structures and the generation of efficient implementation structures","author":"Rowe","year":"1976"},{"key":"10.1016\/0004-3702(83)90009-7_BIB21","article-title":"On programming: an interim report on the setl project, revised","author":"Schwartz","year":"1975"},{"key":"10.1016\/0004-3702(83)90009-7_BIB22","article-title":"A formal system for specifying and verifying program performance","author":"Shaw","year":"1979"},{"key":"10.1016\/0004-3702(83)90009-7_BIB23","article-title":"Strategy construction using a synthesis of heuristic and decision-theoretic methods","author":"Sproull","year":"1977"},{"key":"10.1016\/0004-3702(83)90009-7_BIB24","series-title":"Proceedings of the First Annual National Conference on Artificial Intelligence","first-page":"64","article-title":"Some algorithm design methods","author":"Tappel","year":"1980"},{"key":"10.1016\/0004-3702(83)90009-7_BIB25","author":"Teitelman","year":"1978"},{"key":"10.1016\/0004-3702(83)90009-7_BIB26","article-title":"An aid for the selection of efficient storage structures","author":"Tompa","year":"1980"},{"issue":"9","key":"10.1016\/0004-3702(83)90009-7_BIB27","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1145\/361002.361016","article-title":"Mechanical program analysis","volume":"18","author":"Wegbreit","year":"1975","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(83)90009-7_BIB28","series-title":"Third Annual Symposium on Principles of Programming Languages","article-title":"Goal-directed program transformation","author":"Wegbreit","year":"1976"},{"key":"10.1016\/0004-3702(83)90009-7_BIB29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5979-4_4","article-title":"Abstraction and verification in Alphard: an introduction to language and methodology","author":"Wulf","year":"1976"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370283900097?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370283900097?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:50:37Z","timestamp":1553644237000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370283900097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,5]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1983,5]]}},"alternative-id":["0004370283900097"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(83)90009-7","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1983,5]]}}}