{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:53Z","timestamp":1750219793809,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100014811","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["ECS00000036","2020TL3X8X","2020HCWWLP"],"award-info":[{"award-number":["ECS00000036","2020TL3X8X","2020HCWWLP"]}],"id":[{"id":"10.13039\/100014811","id-type":"DOI","asserted-by":"publisher"}]},{"name":"SIRIUS","award":["237898"],"award-info":[{"award-number":["237898"]}]},{"name":"RCN","award":["294600"],"award-info":[{"award-number":["294600"]}]},{"DOI":"10.13039\/501100021856","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["ECS00000036","2020TL3X8X","2020HCWWLP"],"award-info":[{"award-number":["ECS00000036","2020TL3X8X","2020HCWWLP"]}],"id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579027.3608977","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:31:27Z","timestamp":1692991887000},"page":"52-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Deltas for Functional Programs with Algebraic Data Types"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[{"name":"University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0996-2543","authenticated-orcid":false,"given":"Eduard","family":"Kamburjan","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9635-5757","authenticated-orcid":false,"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[{"name":"ONERA, Paleseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4126-0170","authenticated-orcid":false,"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[{"name":"University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-012-0173-z"},{"volume-title":"An Error-Tolerant Type System for Variational Lambda Calculus (ICFP '12)","author":"Chen Sheng","key":"e_1_3_2_1_3_1","unstructured":"Sheng Chen , Martin Erwig , and Eric Walkingshaw . 2012. An Error-Tolerant Type System for Variational Lambda Calculus (ICFP '12) . Association for Computing Machinery , New York, NY, USA , 29--40. https:\/\/doi.org\/10.1145\/2364527.2364535 10.1145\/2364527.2364535 Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2012. An Error-Tolerant Type System for Variational Lambda Calculus (ICFP '12). Association for Computing Machinery, New York, NY, USA, 29--40. https:\/\/doi.org\/10.1145\/2364527.2364535"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2518190"},{"key":"e_1_3_2_1_5_1","volume-title":"FMCO (LNCS","volume":"224","author":"Clarke Dave","year":"2010","unstructured":"Dave Clarke , Radu Muschevici , Jos\u00e9 Proen\u00e7a , Ina Schaefer , and Rudolf Schlatte . 2010 . Variability Modelling in the ABS Language . In FMCO (LNCS , Vol. 6957). Springer, 204-- 224 . https:\/\/doi.org\/10.1007\/978-3-642-25271-6_11 10.1007\/978-3-642-25271-6_11 Dave Clarke, Radu Muschevici, Jos\u00e9 Proen\u00e7a, Ina Schaefer, and Rudolf Schlatte. 2010. Variability Modelling in the ABS Language. In FMCO (LNCS, Vol. 6957). Springer, 204--224. https:\/\/doi.org\/10.1007\/978-3-642-25271-6_11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111510"},{"key":"e_1_3_2_1_8_1","volume-title":"IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (LNCS","volume":"62","author":"Damiani Ferruccio","year":"2016","unstructured":"Ferruccio Damiani and Michael Lienhardt . 2016 . On Type Checking Delta-Oriented Product Lines. In Integrated Formal Methods - 12th International Conference , IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (LNCS , Vol. 9681). Springer, 47-- 62 . https:\/\/doi.org\/10.1007\/978-3-319-33693-0_4 10.1007\/978-3-319-33693-0_4 Ferruccio Damiani and Michael Lienhardt. 2016. On Type Checking Delta-Oriented Product Lines. In Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (LNCS, Vol. 9681). Springer, 47--62. https:\/\/doi.org\/10.1007\/978-3-319-33693-0_4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08166-8_8"},{"key":"#cr-split#-e_1_3_2_1_10_1.1","doi-asserted-by":"crossref","unstructured":"Benjamin Delaware William R. Cook and Don Batory. 2009. Fitting the Pieces Together: A Machine-checked Model of Safe Composition. In ESEC\/FSE (Amsterdam The Netherlands). ACM 243--252. https:\/\/doi.org\/10.1145\/1595696.1595733 10.1145\/1595696.1595733","DOI":"10.1145\/1595696.1595733"},{"key":"#cr-split#-e_1_3_2_1_10_1.2","doi-asserted-by":"crossref","unstructured":"Benjamin Delaware William R. Cook and Don Batory. 2009. Fitting the Pieces Together: A Machine-checked Model of Safe Composition. In ESEC\/FSE (Amsterdam The Netherlands). ACM 243--252. https:\/\/doi.org\/10.1145\/1595696.1595733","DOI":"10.1145\/1595696.1595733"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242753"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063245"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_14_1","volume-title":"FMCO 2010","author":"Johnsen Einar Broch","year":"2010","unstructured":"Einar Broch Johnsen , Reiner H\u00e4hnle , Jan Sch\u00e4fer , Rudolf Schlatte , and Martin Steffen . 2010 . ABS: A Core Language for Abstract Behavioral Specification. In Formal Methods for Components and Objects - 9th International Symposium , FMCO 2010 , Graz, Austria, November 29 - December 1, 2010. Revised Papers. 142--164. Einar Broch Johnsen, Reiner H\u00e4hnle, Jan Sch\u00e4fer, Rudolf Schlatte, and Martin Steffen. 2010. ABS: A Core Language for Abstract Behavioral Specification. In Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. 142--164."},{"key":"e_1_3_2_1_15_1","volume-title":"Formal Modeling and Analysis of Railway Operations with Active Objects. Science of Computer Programming 166 (Nov","author":"Kamburjan Eduard","year":"2018","unstructured":"Eduard Kamburjan , Reiner H\u00e4hnle , and Sebastian Sch\u00f6n . 2018. Formal Modeling and Analysis of Railway Operations with Active Objects. Science of Computer Programming 166 (Nov . 2018 ), 167--193. https:\/\/doi.org\/10.1016\/j.scico.2018.07.001 10.1016\/j.scico.2018.07.001 Eduard Kamburjan, Reiner H\u00e4hnle, and Sebastian Sch\u00f6n. 2018. Formal Modeling and Analysis of Railway Operations with Active Objects. Science of Computer Programming 166 (Nov. 2018), 167--193. https:\/\/doi.org\/10.1016\/j.scico.2018.07.001"},{"key":"e_1_3_2_1_16_1","volume-title":"Heraklion","volume":"192","author":"Lienhardt Michael","year":"2012","unstructured":"Michael Lienhardt and Dave Clarke . 2012 . Conflict Detection in Delta-Oriented Programming. In ISoLA 2012 , Heraklion , Crete, Greece , October 15-18, 2012, Proceedings, Part I (LNCS, Vol. 7609). Springer, 178-- 192 . https:\/\/doi.org\/10.1007\/978-3-642-34026-0_14 10.1007\/978-3-642-34026-0_14 Michael Lienhardt and Dave Clarke. 2012. Conflict Detection in Delta-Oriented Programming. In ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (LNCS, Vol. 7609). Springer, 178--192. https:\/\/doi.org\/10.1007\/978-3-642-34026-0_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICITSI.2017.8267927"},{"volume-title":"Types and programming languages","author":"Pierce Benjamin C.","key":"e_1_3_2_1_18_1","unstructured":"Benjamin C. Pierce . 2002. Types and programming languages . MIT Press . Benjamin C. Pierce. 2002. Types and programming languages. MIT Press."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0253-y"},{"key":"e_1_3_2_1_21_1","volume-title":"Tomoyuki Aotani, and Hidehiko Masuhara.","author":"Tanabe Yudai","year":"2022","unstructured":"Yudai Tanabe , Luthfan Anshar Lubis , Tomoyuki Aotani, and Hidehiko Masuhara. 2022 . A Functional Programming Language with Versions. Art, Science, and Engineering of Programming 6, 1 (2022). https:\/\/doi.org\/10.22152\/programming-journal.org\/2022\/6\/5 10.22152\/programming-journal.org Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara. 2022. A Functional Programming Language with Versions. Art, Science, and Engineering of Programming 6, 1 (2022). https:\/\/doi.org\/10.22152\/programming-journal.org\/2022\/6\/5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_23_1","volume-title":"Article 6","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm , Sven Apel , Christian K\u00e4stner , Ina Schaefer , and Gunter Saake . 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 , Article 6 ( 2014 ), 45 pages. https:\/\/doi.org\/10.1145\/2580950 10.1145\/2580950 Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1, Article 6 (2014), 45 pages. https:\/\/doi.org\/10.1145\/2580950"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31762-0_5"}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tokyo Japan","acronym":"SPLC '23"},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608977","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579027.3608977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:04Z","timestamp":1750178284000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608977"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":25,"alternative-id":["10.1145\/3579027.3608977","10.1145\/3579027"],"URL":"https:\/\/doi.org\/10.1145\/3579027.3608977","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}