{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:33:39Z","timestamp":1770298419114,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523726","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"244-259","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Recursion synthesis with unrealizability witnesses"],"prefix":"10.1145","author":[{"given":"Azadeh","family":"Farzan","sequence":"first","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Danya","family":"Lette","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Victor","family":"Nicolet","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_13"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"e_1_3_2_1_5_1","unstructured":"Clark Barrett Pascal Fontaine and Aaron Stump. 2017. The SMT-LIB Standard. 104.  Clark Barrett Pascal Fontaine and Aaron Stump. 2017. The SMT-LIB Standard. 104."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.29007\/vv21"},{"key":"e_1_3_2_1_7_1","unstructured":"Benjamin Caulfield Markus N. Rabe Sanjit A. Seshia and Stavros Tripakis. 2016. What\u2019s Decidable about Syntax-Guided Synthesis? arxiv:1510.08393.  Benjamin Caulfield Markus N. Rabe Sanjit A. Seshia and Stavros Tripakis. 2016. What\u2019s Decidable about Syntax-Guided Synthesis? arxiv:1510.08393."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_27"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_39"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837629"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_25"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani Oleksandr Polozov and Rishabh Singh. 2017. Program Synthesis (Foundations and Trends in Programming Languages).  Sumit Gulwani Oleksandr Polozov and Rishabh Singh. 2017. Program Synthesis (Foundations and Trends in Programming Languages).","DOI":"10.1561\/9781680832938"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385979"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103746.2103758"},{"key":"e_1_3_2_1_18_1","first-page":"26","article-title":"Inductive Synthesis of Functional Programs","volume":"7","author":"Kitzelmann Emanuel","year":"2006","unstructured":"Emanuel Kitzelmann and Ute Schmid . 2006 . Inductive Synthesis of Functional Programs : An Explanation Based Generalization Approach. 7 , 7 (2006), 26 . Emanuel Kitzelmann and Ute Schmid. 2006. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. 7, 7 (2006), 26.","journal-title":"An Explanation Based Generalization Approach."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509555"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314602"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0249-4"},{"key":"e_1_3_2_1_22_1","unstructured":"Paul Krogmeier and P. Madhusudan. 2021. Learning Formulas in Finite Variable Logics. arxiv:2111.03534.  Paul Krogmeier and P. Madhusudan. 2021. Learning Formulas in Finite Variable Logics. arxiv:2111.03534."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_32"},{"key":"e_1_3_2_1_24_1","unstructured":"Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2020. The OCaml System Release 4.11: Documentation and User\u2019s Manual.  Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2020. The OCaml System Release 4.11: Documentation and User\u2019s Manual."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408991"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2018.31"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498682"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385967"},{"key":"e_1_3_2_1_29_1","unstructured":"Victor Nicolet and Danya Lette. 2022. Synduce.  Victor Nicolet and Danya Lette. 2022. Synduce."},{"key":"e_1_3_2_1_30_1","unstructured":"Victor Nicolet Danya Lette and Azadeh Farzan. 2022. Recursion Synthesis with Unrealizability Witnesses (Extended Version).  Victor Nicolet Danya Lette and Azadeh Farzan. 2022. Recursion Synthesis with Unrealizability Witnesses (Extended Version)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926453"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908099"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_35_1","unstructured":"Mukund Raghothaman Andrew Reynolds and Abhishek Udupa. 2019. The SyGuS Language Standard Version 2.0. 22.  Mukund Raghothaman Andrew Reynolds and Abhishek Udupa. 2019. The SyGuS Language Standard Version 2.0. 22."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322002"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30048-7_35"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523726","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523726"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":39,"alternative-id":["10.1145\/3519939.3523726","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523726","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}