{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T23:14:54Z","timestamp":1763939694789,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,6]]},"DOI":"10.1145\/3479394.3479416","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:23:02Z","timestamp":1633645382000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Deep Semantic Versioning for Evolution and Variability"],"prefix":"10.1145","author":[{"given":"Lu\u00eds","family":"Carvalho","sequence":"first","affiliation":[{"name":"NOVA LINCS - NOVA University of Lisbon, Portugal"}]},{"given":"Jo\u00e3o Costa","family":"Seco","sequence":"additional","affiliation":[{"name":"NOVA LINCS - NOVA University of Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/semantic-release.gitbook.io\/semantic-release\/ [Accessed","author":"Release Semantic","year":"2021","unstructured":"[n.d.]. Semantic Release . https:\/\/semantic-release.gitbook.io\/semantic-release\/ [Accessed Feb. 15, 2021 ]. [n.d.]. Semantic Release. https:\/\/semantic-release.gitbook.io\/semantic-release\/ [Accessed Feb. 15, 2021]."},{"key":"e_1_3_2_1_2_1","volume-title":"Editing Functional Programs Without Breaking Them. In International Symposium on Implementation and Application of Functional Languages.","author":"Amsden Edward","year":"2014","unstructured":"Edward Amsden , Ryan Newton , and Jeremy Siek . 2014 . Editing Functional Programs Without Breaking Them. In International Symposium on Implementation and Application of Functional Languages. Edward Amsden, Ryan Newton, and Jeremy Siek. 2014. Editing Functional Programs Without Breaking Them. In International Symposium on Implementation and Application of Functional Languages."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1745312.1745316"},{"key":"e_1_3_2_1_4_1","volume-title":"My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub. In 2017 IEEE\/ACM 14th International Conference on Mining Software Repositories (MSR). IEEE","author":"Beller Moritz","year":"2017","unstructured":"Moritz Beller , Georgios Gousios , and Andy Zaidman . 2017 . Oops , My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub. In 2017 IEEE\/ACM 14th International Conference on Mining Software Repositories (MSR). IEEE , Buenos Aires, Argentina, 356\u2013367. https:\/\/doi.org\/10.1109\/MSR. 2017.62 10.1109\/MSR.2017.62 Moritz Beller, Georgios Gousios, and Andy Zaidman. 2017. Oops, My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub. In 2017 IEEE\/ACM 14th International Conference on Mining Software Repositories (MSR). IEEE, Buenos Aires, Argentina, 356\u2013367. https:\/\/doi.org\/10.1109\/MSR.2017.62"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336534"},{"key":"e_1_3_2_1_6_1","volume-title":"SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. 145\u2013161","author":"Carvalho Luis","year":"2019","unstructured":"Luis Carvalho and Jo\u00e3o\u00a0Costa Seco . 2019 . Software Evolution with a Typeful Version Control System. In Software Engineering and Formal Methods - 17th International Conference , SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. 145\u2013161 . https:\/\/doi.org\/10.1007\/978-3-030-30446-1_8 10.1007\/978-3-030-30446-1_8 Luis Carvalho and Jo\u00e3o\u00a0Costa Seco. 2019. Software Evolution with a Typeful Version Control System. In Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. 145\u2013161. https:\/\/doi.org\/10.1007\/978-3-030-30446-1_8"},{"key":"e_1_3_2_1_7_1","volume-title":"Type Safe Evolution of Live Systems. In Workshop on Reactive and Event-based Languages & Systems (REBLS\u201915)","author":"Domingues Miguel","year":"2015","unstructured":"Miguel Domingues and Jo\u00e3o\u00a0Costa Seco . 2015 . Type Safe Evolution of Live Systems. In Workshop on Reactive and Event-based Languages & Systems (REBLS\u201915) . Miguel Domingues and Jo\u00e3o\u00a0Costa Seco. 2015. Type Safe Evolution of Live Systems. In Workshop on Reactive and Event-based Languages & Systems (REBLS\u201915)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"S.\u00a0G. Eick T.\u00a0L. Graves A.\u00a0F. Karr J.\u00a0S. Marron and A. Mockus. 2001. Does code decay? Assessing the evidence from change management data. IEEE Transactions on Software Engineering(2001).  S.\u00a0G. Eick T.\u00a0L. Graves A.\u00a0F. Karr J.\u00a0S. Marron and A. Mockus. 2001. Does code decay? Assessing the evidence from change management data. IEEE Transactions on Software Engineering(2001).","DOI":"10.1109\/32.895984"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/570186.570193"},{"key":"e_1_3_2_1_10_1","unstructured":"J\u00a0Nathan Foster Michael\u00a0B Greenwald Jonathan\u00a0T Moore Benjamin\u00a0C Pierce and Alan Schmitt. [n.d.]. Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem. ([n.\u00a0d.]).  J\u00a0Nathan Foster Michael\u00a0B Greenwald Jonathan\u00a0T Moore Benjamin\u00a0C Pierce and Alan Schmitt. [n.d.]. Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem. ([n.\u00a0d.])."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"T.L. Graves A.F. Karr J.S. Marron and H. Siy. 2000. Predicting fault incidence using software change history. IEEE Transactions on Software Engineering(2000).  T.L. Graves A.F. Karr J.S. Marron and H. Siy. 2000. Predicting fault incidence using software change history. IEEE Transactions on Software Engineering(2000).","DOI":"10.1109\/32.859533"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"e_1_3_2_1_14_1","volume-title":"2013 35th International Conference on Software Engineering (ICSE). https:\/\/doi.org\/10","author":"Hosek P.","year":"2013","unstructured":"P. Hosek and C. Cadar . 2013. Safe software updates via multiversion execution . In 2013 35th International Conference on Software Engineering (ICSE). https:\/\/doi.org\/10 .1109\/ICSE. 2013 .6606607 10.1109\/ICSE.2013.6606607 P. Hosek and C. Cadar. 2013. Safe software updates via multiversion execution. In 2013 35th International Conference on Software Engineering (ICSE). https:\/\/doi.org\/10.1109\/ICSE.2013.6606607"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_16_1","volume-title":"How Software Designs Decay: A Pilot Study of Pattern Evolution. In First International Symposium on Empirical Software Engineering and Measurement (ESEM","author":"Izurieta C.","year":"2007","unstructured":"C. Izurieta and J.\u00a0 M. Bieman . 2007 . How Software Designs Decay: A Pilot Study of Pattern Evolution. In First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007). C. Izurieta and J.\u00a0M. Bieman. 2007. How Software Designs Decay: A Pilot Study of Pattern Evolution. In First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)."},{"volume-title":"Vulnerability Discovery in Multi-Version Software Systems. In 10th IEEE High Assurance Systems Engineering Symposium (HASE\u201907)","author":"Kim J.","key":"e_1_3_2_1_17_1","unstructured":"J. Kim , Y.\u00a0 K. Malaiya , and I. Ray . 2007 . Vulnerability Discovery in Multi-Version Software Systems. In 10th IEEE High Assurance Systems Engineering Symposium (HASE\u201907) . J. Kim, Y.\u00a0K. Malaiya, and I. Ray. 2007. Vulnerability Discovery in Multi-Version Software Systems. In 10th IEEE High Assurance Systems Engineering Symposium (HASE\u201907)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1137999"},{"volume-title":"Using Slicing to Identify Duplication in Source Code","author":"Komondoor Raghavan","key":"e_1_3_2_1_19_1","unstructured":"Raghavan Komondoor and Susan Horwitz . 2001. Using Slicing to Identify Duplication in Source Code . In Static Analysis, Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, and Patrick Cousot (Eds.). Vol.\u00a02126. Springer Berlin Heidelberg , Berlin, Heidelberg, 40\u201356. https:\/\/doi.org\/10.1007\/3-540-47764-0_3 10.1007\/3-540-47764-0_3 Raghavan Komondoor and Susan Horwitz. 2001. Using Slicing to Identify Duplication in Source Code. In Static Analysis, Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, and Patrick Cousot (Eds.). Vol.\u00a02126. Springer Berlin Heidelberg, Berlin, Heidelberg, 40\u201356. https:\/\/doi.org\/10.1007\/3-540-47764-0_3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100110"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351713"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9388-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706331"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00023"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"e_1_3_2_1_26_1","volume-title":"Hazelnut: A Bidirectionally Typed Structure Editor","author":"Omar Cyrus","year":"2017","unstructured":"Cyrus Omar , Ian Voysey , Michael Hilton , Jonathan Aldrich , and Matthew\u00a0 A. Hammer . 2017 . Hazelnut: A Bidirectionally Typed Structure Editor Calculus. ACM SIGPLAN Notices ( 2017). Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, and Matthew\u00a0A. Hammer. 2017. Hazelnut: A Bidirectionally Typed Structure Editor Calculus. ACM SIGPLAN Notices (2017)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371120"},{"volume-title":"Software Product Lines: Going Beyond","author":"Schaefer Ina","key":"e_1_3_2_1_28_1","unstructured":"Ina Schaefer , Lorenzo Bettini , Viviana Bono , Ferruccio Damiani , and Nico Tanzarella . 2010. Delta-Oriented Programming of Software Product Lines . In Software Product Lines: Going Beyond . Springer Berlin Heidelberg , Berlin, Heidelberg . Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, and Nico Tanzarella. 2010. Delta-Oriented Programming of Software Product Lines. In Software Product Lines: Going Beyond. Springer Berlin Heidelberg, Berlin, Heidelberg."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2685629"},{"key":"e_1_3_2_1_30_1","first-page":"6","article-title":"Dynamic Software Updates","volume":"44","author":"Subramanian Suriya","year":"2009","unstructured":"Suriya Subramanian , Michael Hicks , and Kathryn\u00a0 S. McKinley . 2009 . Dynamic Software Updates : A VM-centric Approach. SIGPLAN Not. 44 , 6 (June 2009), 1\u201312. https:\/\/doi.org\/10.1145\/1543135.1542478 10.1145\/1543135.1542478 Suriya Subramanian, Michael Hicks, and Kathryn\u00a0S. McKinley. 2009. Dynamic Software Updates: A VM-centric Approach. SIGPLAN Not. 44, 6 (June 2009), 1\u201312. https:\/\/doi.org\/10.1145\/1543135.1542478","journal-title":"A VM-centric Approach. SIGPLAN Not."},{"key":"e_1_3_2_1_31_1","unstructured":"Tom Preston-Werner. [n.d.]. Semantic Versioning 2.0.0. https:\/\/semver.org\/  Tom Preston-Werner. [n.d.]. Semantic Versioning 2.0.0. https:\/\/semver.org\/"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2001.948406"},{"key":"e_1_3_2_1_33_1","volume-title":"10th Symposium On Usable Privacy and Security (SOUPS","author":"Wash Rick","year":"2014","unstructured":"Rick Wash , Emilee Rader , Kami Vaniea , and Michelle Rizor . 2014 . Out of the loop: How automated software updates cause unintended security consequences . In 10th Symposium On Usable Privacy and Security (SOUPS 2014). Rick Wash, Emilee Rader, Kami Vaniea, and Michelle Rizor. 2014. Out of the loop: How automated software updates cause unintended security consequences. In 10th Symposium On Usable Privacy and Security (SOUPS 2014)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"},{"key":"e_1_3_2_1_35_1","volume-title":"Wright and Matthias Felleisen","author":"K.","year":"1994","unstructured":"Andrew\u00a0 K. Wright and Matthias Felleisen . 1994 . A Syntactic Approach to Type Soundness. Information and Computation 115 (1994). Andrew\u00a0K. Wright and Matthias Felleisen. 1994. A Syntactic Approach to Type Soundness. Information and Computation 115 (1994)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276536"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.72"}],"event":{"name":"PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2021","location":"Tallinn Estonia"},"container-title":["23rd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479416","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3479394.3479416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:52Z","timestamp":1750191532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":37,"alternative-id":["10.1145\/3479394.3479416","10.1145\/3479394"],"URL":"https:\/\/doi.org\/10.1145\/3479394.3479416","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}