{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:10:03Z","timestamp":1752149403421,"version":"3.41.2"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Machine Learning"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1023\/a:1022612610155","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T16:55:36Z","timestamp":1049475336000},"page":"7-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis of UNIX Programs Using Derivational Analogy"],"prefix":"10.1007","volume":"10","author":[{"given":"Sanjay","family":"Bhansali","sequence":"first","affiliation":[]},{"given":"Mehdi T.","family":"Harandi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"422834_CR1","volume-title":"Knowledge based program construction","author":"D. Barstow","year":"1979","unstructured":"Barstow, D. (1979). Knowledge based program construction. New York: Elsevier North Holland."},{"key":"422834_CR2","unstructured":"Baxter, I.D. (1990). Transformational maintenance by reuse of design histories. Doctoral dissertation, Department of Computer Science, University of California, Irvine. Technical report 90-36."},{"key":"422834_CR3","unstructured":"Bhansali, S. (1991). Domain-based program synthesis using planning and derivational analogy. Doctoral dissertation, Department of Computer Science, University of Illinois at Urbana-Champaign. Technical report UIUCDCS R-91-1701."},{"key":"422834_CR4","first-page":"410","volume-title":"APU: automating UNIX programming","author":"S. Bhansali","year":"1990","unstructured":"Bhansali, S., & Harandi, M.T. (1990a). APU: automating UNIX programming. IEEE International Conference on Tools for Artificial Intelligence (pp. 410\u2013416), Washington, DC: IEEE Computer Society Press."},{"key":"422834_CR5","unstructured":"Bhansali, S.,& Harandi, M.T. (1990b). The role of derivational analogy in reusing program design. Fifth Annual Knowledge-Based Software Assistant Conference (pp. 28\u201341). Syracuse, NY."},{"key":"422834_CR6","first-page":"902","volume-title":"Empirical comparisons of some design replay algorithms","author":"B. Blumenthal","year":"1990","unstructured":"Blumenthal, B. (1990). Empirical comparisons of some design replay algorithms. Eighth National Conference on Artificial Intelligence (pp. 902\u2013907). Boston, MA: AAAI Press\/The MIT Press."},{"key":"422834_CR7","volume-title":"Machine learning: An artificial intelligence approach","author":"M.H. Burstein","year":"1986","unstructured":"Burstein, M.H. (1986). Concept formation by incremental analogical reasoning and debugging. In R.S. Michalski, J.G. Carbonell, & T.M. Mitchell (Eds.), Machine learning: An artificial intelligence approach (Vol. 2). San Mateo, CA: Morgan Kaufmann."},{"key":"422834_CR8","first-page":"64","volume-title":"Derivational analogy and its role in problem solving","author":"J.G. Carbonell","year":"1983","unstructured":"Carbonell, J.G. (1983). Derivational analogy and its role in problem solving. Third National Conference on Artificial Intelligence (pp. 64\u201369). Washington, DC: Morgan Kaufmann."},{"key":"422834_CR9","first-page":"104","volume-title":"Integrating derivational analogy into a general problem solving architecture","author":"J.G. Carbonell","year":"1988","unstructured":"Carbonell, J.G., & Veloso, M. (1988). Integrating derivational analogy into a general problem solving architecture. DARPA Workshop on Case-Based Reasoning (pp. 104\u2013124). Clearwater Beach, FL: Morgan Kaufmann."},{"key":"422834_CR10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(85)90076-1","volume":"25","author":"N.D. Dershowitz","year":"1985","unstructured":"Dershowitz, N.D. (1985). Synthetic programming. Artificial Intelligence, 25, 323\u2013373.","journal-title":"Artificial Intelligence"},{"key":"422834_CR11","volume-title":"Machine learning: An artificial intelligence approach","author":"N.D. Dershowitz","year":"1986","unstructured":"Dershowitz, N.D. (1986). Programming by analogy. In R.S. Michalski, J.G. Carbonell, & T.M. Mitchell (Eds.), Machine learning: An artificial intelligence approach (Vol. 2). San Mateo, CA: Morgan Kaufmann."},{"issue":"2","key":"422834_CR12","first-page":"155","volume":"7","author":"D. Gentner","year":"1983","unstructured":"Gentner, D. (1983) Structure-mapping: a theoretical framework for analogy. Cognitive Science, 7 (2), 155\u2013170.","journal-title":"Cognitive Science"},{"key":"422834_CR13","series-title":"Technical Report","volume-title":"Reusing software developments","author":"A. Goldberg","year":"1990","unstructured":"Goldberg, A. (1990). Reusing software developments. (Technical Report KES.U.90.2). Palo Alto, CA: Kestrel Institute."},{"key":"422834_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(88)90032-X","volume":"35","author":"R. Greiner","year":"1988","unstructured":"Greiner, R. (1988). Learning by understanding analogies. Artificial Intelligence, 35, 81\u2013125.","journal-title":"Artificial Intelligence"},{"key":"422834_CR15","first-page":"389","volume-title":"Program derivation using analogy","author":"M.T. Harandi","year":"1989","unstructured":"Harandi, M.T., & Bhansali, S. (1989). Program derivation using analogy. Eleventh International Joint Conference on Artificial Intelligence (pp. 389\u2013394). Detroit, MI: Morgan Kaufmann."},{"key":"422834_CR16","volume-title":"Partial match and search control via internal analogy","author":"A.K. Hickman","year":"1991","unstructured":"Hickman, A.K., & Lovett, M.C. (1991). Partial match and search control via internal analogy. Thirteenth Annual Conference of the Cognitive Science Society. Chicago, IL: Lawrence Erlbaum."},{"key":"422834_CR17","series-title":"Technical Report","volume-title":"Argo: an analogical reasoning system for solving design problems","author":"M. Huhns","year":"1987","unstructured":"Huhns, M., & Acosta, R. (1987). Argo: an analogical reasoning system for solving design problems (Technical Report AI\/CAD-092-87). Austin TX: Microelectronics and Computer Technology."},{"key":"422834_CR18","unstructured":"Kambhampati, S. (1989). Flexible reuse and modification in hierarchical planning. Doctoral dissertation, Department of Computer Science, University of Maryland, College Park. Technical Report CS-TR-2334."},{"key":"422834_CR19","first-page":"170","volume-title":"Mapping and retrieval during plan reuse: a validation structure based approach","author":"S. Kambhampati","year":"1990","unstructured":"Kambhampati, S. (1990a). Mapping and retrieval during plan reuse: a validation structure based approach. Eighth National Conference on Artificial Intelligence (pp. 170\u2013175). Boston, MA: AAAI Press\/The MIT Press."},{"key":"422834_CR20","first-page":"176","volume-title":"A theory of plan modification","author":"S. Kambhampati","year":"1990","unstructured":"Kambhampati, S. (1990b). A theory of plan modification. Eighth National Conference on Artificial Intelligence (pp. 176\u2013182). Boston, MA: AAAI Press\/The MIT Press."},{"key":"422834_CR21","volume-title":"Software reusability (Vol. 1): Concepts and models","author":"S. Katz","year":"1989","unstructured":"Katz, S., Richter, C.A., & The, K.S. (1989). PARIS: a system for reusing partially interpreted schemas. In T.J. Biggerstaff & A.J. Perlis (Eds.), Software reusability (Vol. 1): Concepts and models. New York: ACM Press."},{"key":"422834_CR22","first-page":"150","volume-title":"Purpose-directed analogy","author":"S.T. Kedar-Cabelli","year":"1985","unstructured":"Kedar-Cabelli, S.T. (1985). Purpose-directed analogy. Seventh Annual Conference of the Cognitive Science Society (pp. 150\u2013159). Irvine, CA: Lawrence Erlbaum."},{"key":"422834_CR23","volume-title":"Mathematical statistics with applications","author":"W. Mendenhall","year":"1981","unstructured":"Mendenhall, W., Scheaffer, R.L., & Wackerley, D.D. (1981). Mathematical statistics with applications. Boston, MA: Duxbury Press."},{"key":"422834_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1703-6","volume-title":"Learning effective search control knowledge: An explanation-based approach","author":"S. Minton","year":"1988","unstructured":"Minton, S. (1988). Learning effective search control knowledge: An explanation-based approach. Boston, MA: Kluwer."},{"issue":"10","key":"422834_CR25","doi-asserted-by":"crossref","first-page":"1126","DOI":"10.1109\/32.99198","volume":"17","author":"K. Miryala","year":"1991","unstructured":"Miryala, K., & Harandi, M.T. (1991). Automatic derivation of formal software specifications from informal descriptions. IEEE Transactions on Software Engineering, 17 (10), 1126\u20131142.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"422834_CR26","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0004-3702(89)90048-9","volume":"40","author":"J. Mostow","year":"1989","unstructured":"Mostow, J. (1989). Design by derivational analogy: issues in the automated replay of design plans. Artificial Intelligence, 40, 119\u2013184.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"422834_CR27","first-page":"181","volume":"4","author":"J. Mostow","year":"1989","unstructured":"Mostow, J., Barley, M., & Weinreich, T. (1989). Automated reuse of design plans. International Journal for Artificial Intelligence and Engineering, 4 (4), 181\u2013196.","journal-title":"International Journal for Artificial Intelligence and Engineering"},{"key":"422834_CR28","first-page":"94","volume-title":"Replaying transformational derivations of heuristic search algorithms in DIOGENES","author":"J. Mostow","year":"1989","unstructured":"Mostow, J., & Fisher, G. (1989). Replaying transformational derivations of heuristic search algorithms in DIOGENES. DARPA Workshop on Case-Based Reasoning (pp. 94\u201399). Pensacola Beach, FL: Morgan Kaufmann."},{"key":"422834_CR29","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E. Sacerdoti","year":"1974","unstructured":"Sacerdoti, E. (1974). Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5, 115\u2013135.","journal-title":"Artificial Intelligence"},{"key":"422834_CR30","volume-title":"A structure for plans and behavior","author":"E. Sacerdoti","year":"1977","unstructured":"Sacerdoti, E. (1977). A structure for plans and behavior. Amsterdam: North-Holland."},{"key":"422834_CR31","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0004-3702(81)90008-4","volume":"16","author":"M. Stefik","year":"1981","unstructured":"Stefik, M. (1981). Planning and metaplanning (MOLGEN: Part 2). Artificial Intelligence, 16, 141\u2013169.","journal-title":"Artificial Intelligence"},{"key":"422834_CR32","first-page":"327","volume-title":"CYPRESS-Soar: a case study in search and learning in algorithm design","author":"D. Steier","year":"1987","unstructured":"Steier, D. (1987). CYPRESS-Soar: a case study in search and learning in algorithm design. Tenth International Joint Conference on Artificial Intelligence (pp. 327\u2013330). Milan, Italy: Morgan Kaufmann."},{"key":"422834_CR33","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MDT.1985.294684","volume":"2","author":"L.I. Steinberg","year":"1985","unstructured":"Steinberg, L.I., & Mitchell, T.M. (1985). The REDESIGN system: a knowledge-based approach to VLSI CAD. IEEE Design & Test, 2, 45\u201354.","journal-title":"IEEE Design & Test"},{"issue":"3","key":"422834_CR34","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1145\/322261.322262","volume":"28","author":"M.E. Stickel","year":"1981","unstructured":"Stickel, M.E. (1981). A unification algorithm for associative-commutative functions. Journal of the ACM, 28 (3), 423\u2013434.","journal-title":"Journal of the ACM"},{"key":"422834_CR35","volume-title":"European Working Session on Learning","author":"M. Veloso","year":"1991","unstructured":"Veloso, M., & Carbonell, J.G. (1991). Learning by analogical replay in PRODIGY: first results. European Working Session on Learning. Porto, Portugal: Springer-Verlag."},{"issue":"11","key":"422834_CR36","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1109\/TSE.1985.231880","volume":"11","author":"R.C. Waters","year":"1985","unstructured":"Waters, R.C. (1985). The programmer's apprentice: a session with KBEmacs. IEEE Transactions on Software Engineering, 11 (11), 1296\u20131320.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"422834_CR37","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"D.S. Wile","year":"1983","unstructured":"Wile, D.S. (1983). Program developments: formal explanations of implementations. Communications of the ACM, 26 (11), 902\u2013911.","journal-title":"Communications of the ACM"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022612610155.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022612610155\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022612610155.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:39:21Z","timestamp":1752147561000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022612610155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["422834"],"URL":"https:\/\/doi.org\/10.1023\/a:1022612610155","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[1993,1]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}