{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T13:11:36Z","timestamp":1790428296562,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642397981","type":"print"},{"value":"9783642397998","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39799-8_67","type":"book-chapter","created":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T19:13:06Z","timestamp":1373483586000},"page":"934-950","source":"Crossref","is-referenced-by-count":88,"title":["Recursive Program Synthesis"],"prefix":"10.1007","author":[{"given":"Aws","family":"Albarghouthi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zachary","family":"Kincaid","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"67_CR1","unstructured":"Flash Fill (Microsoft Excel 2013 feature), \n                    \n                      http:\/\/research.microsoft.com\/users\/sumitg\/flashfill.html"},{"key":"67_CR2","unstructured":"Your wish is my command: programming by example. Morgan Kaufmann Publishers Inc. (2001)"},{"key":"67_CR3","unstructured":"Aditya Menon, S.G.B.L., Tamuz, O., Kalai, A.: A machine learning framework for programming by example. In: ICML 2013 (2013)"},{"key":"67_CR4","unstructured":"Albarghouthi, A., Gulwani, S., Kincaid, Z.: Recursive program synthesis, \n                    \n                      http:\/\/www.cs.toronto.edu\/~aws\/papers\/cav13a.pdf"},{"issue":"1-2","key":"67_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(01)00108-4","volume":"129","author":"B. Bonet","year":"2001","unstructured":"Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence\u00a0129(1-2), 5\u201333 (2001)","journal-title":"Artificial Intelligence"},{"key":"67_CR6","doi-asserted-by":"crossref","unstructured":"Flener, P.: Inductive logic program synthesis with dialogs. In: Inductive Logic Programming Workshop, pp. 175\u2013198 (1996)","DOI":"10.1007\/3-540-63494-0_55"},{"issue":"2-3","key":"67_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0743-1066(99)00028-X","volume":"41","author":"P. Flener","year":"1999","unstructured":"Flener, P., Yilmaz, S.: Inductive synthesis of recursive logic programs: Achievements and prospects. J. Log. Program.\u00a041(2-3), 141\u2013195 (1999)","journal-title":"J. Log. Program."},{"key":"67_CR8","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proc. of POPL 2011, pp. 317\u2013330 (2011)","DOI":"10.1145\/1925844.1926423"},{"key":"67_CR9","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Synthesis from examples: Interaction models and algorithms. In: Proc. of SYNASC (2012) (Invited talk paper)","DOI":"10.1109\/SYNASC.2012.69"},{"key":"67_CR10","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: Proc. of PLDI 2011, pp. 62\u201373 (2011)","DOI":"10.1145\/1993316.1993506"},{"key":"67_CR11","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Korthikanti, V.A., Tiwari, A.: Synthesizing geometry constructions. In: Proc. of PLDI 2011, pp. 50\u201361 (2011)","DOI":"10.1145\/1993316.1993505"},{"key":"67_CR12","doi-asserted-by":"crossref","unstructured":"Harris, W.R., Gulwani, S.: Spreadsheet table transformations from examples. In: Proc. of PLDI 2011, pp. 317\u2013328 (2011)","DOI":"10.1145\/1993316.1993536"},{"key":"67_CR13","doi-asserted-by":"crossref","unstructured":"Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. In: Proc. of ICSE 2010, pp. 215\u2013224 (2010)","DOI":"10.1145\/1806799.1806833"},{"key":"67_CR14","first-page":"429","volume":"7","author":"E. Kitzelmann","year":"2006","unstructured":"Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. JMLR\u00a07, 429\u2013454 (2006)","journal-title":"JMLR"},{"issue":"1-2","key":"67_CR15","first-page":"111","volume":"53","author":"T. Lau","year":"2003","unstructured":"Lau, T., Wolfman, S.A., Domingos, P., Weld, D.S.: Programming by demonstration using version space algebra. JMLR\u00a053(1-2), 111\u2013156 (2003)","journal-title":"JMLR"},{"issue":"1","key":"67_CR16","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.J.: A deductive approach to program synthesis. ACM TOPLAS\u00a02(1), 90\u2013121 (1980)","journal-title":"ACM TOPLAS"},{"issue":"1","key":"67_CR17","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a06(1), 68\u201393 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"67_CR18","unstructured":"Menon, A., Tamuz, O., Gulwani, S., Lampson, B., Kalai, A.: A machine learning framework for programming by example. In: ICML (to appear, 2013)"},{"issue":"2","key":"67_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"T.M. Mitchell","year":"1982","unstructured":"Mitchell, T.M.: Generalization as search. Artif. Intell.\u00a018(2), 203\u2013226 (1982)","journal-title":"Artif. Intell."},{"key":"67_CR20","volume-title":"Automated Planning: Theory & Practice","author":"D. Nau","year":"2004","unstructured":"Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco (2004)"},{"key":"67_CR21","unstructured":"Shapiro, E.Y.: Algorithmic Program DeBugging. MIT Press, Cambridge (1983)"},{"key":"67_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-31424-7_44","volume-title":"Computer Aided Verification","author":"R. Singh","year":"2012","unstructured":"Singh, R., Gulwani, S.: Synthesizing number transformations from input-output examples. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 634\u2013651. Springer, Heidelberg (2012)"},{"key":"67_CR23","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Tancau, L., Bod\u00edk, R., Seshia, S.A., Saraswat, V.A.: Combinatorial sketching for finite programs. In: Proc. of ASPLOS 2006, pp. 404\u2013415 (2006)","DOI":"10.1145\/1168918.1168907"},{"issue":"1","key":"67_CR24","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1145\/321992.322002","volume":"24","author":"P.D. Summers","year":"1977","unstructured":"Summers, P.D.: A methodology for lisp program construction from examples. J. ACM\u00a024(1), 161\u2013175 (1977)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39799-8_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:26:32Z","timestamp":1557930392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39799-8_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397981","9783642397998"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39799-8_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}