{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:01:45Z","timestamp":1753437705181,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Fundaci\u00e3o para a Ci\u00eancia e Tecnologia","award":["UIDB\/04516\/2020"],"award-info":[{"award-number":["UIDB\/04516\/2020"]}]},{"name":"Ag\u00eancia Nacional Inova\u00e7\u00e3o","award":["Lisboa-01-0247-Feder-045917"],"award-info":[{"award-number":["Lisboa-01-0247-Feder-045917"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3563835.3567658","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T19:29:59Z","timestamp":1669922999000},"page":"63-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Derivations with Holes for Concept-Based Program Synthesis"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o","family":"Costa Seco","sequence":"first","affiliation":[{"name":"NOVA-LINCS, Portugal \/ Nova University of Lisbon, Portugal"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Lu\u00eds","family":"Carvalho","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, Portugal \/ Nova University of Lisbon, Portugal"}]},{"given":"Bernardo","family":"Toninho","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, Portugal \/ Nova University of Lisbon, Portugal"}]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[{"name":"NOVA-LINCS, Portugal \/ Nova University of Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"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.1007\/978-3-319-73721-8_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2203.04995"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_5"},{"volume-title":"Software Engineering & Management (LNI","author":"D\u00fcdder Boris","key":"e_1_3_2_1_5_1","unstructured":"Boris D\u00fcdder, Moritz Martens, and Jakob Rehof. 2015. Staged Composition Synthesis. In Software Engineering & Management (LNI, Vol. P-239). GI, 89\u201390."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2627"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814228.2814248"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509555"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464443"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3495528"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00030"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Hugo Louren\u00e7o Carla Ferreira and Jo\u00e3o Costa Seco. 2022. OSTRICH - A Rich Template Language for Low-code Development (Extended version). Softw. Syst. Model. To appear.","DOI":"10.1007\/s10270-022-01066-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408991"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468533"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009900"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359728"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290385"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552442"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5220\/0010711900003064"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428296"}],"event":{"name":"Onward! '22: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"Onward! '22"},"container-title":["Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563835.3567658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563835.3567658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:08Z","timestamp":1750186808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563835.3567658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":29,"alternative-id":["10.1145\/3563835.3567658","10.1145\/3563835"],"URL":"https:\/\/doi.org\/10.1145\/3563835.3567658","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}