{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T22:21:03Z","timestamp":1770243663448,"version":"3.49.0"},"reference-count":146,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T00:00:00Z","timestamp":1728345600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2024,10,8]]},"abstract":"<jats:p>Variability permeates software development to satisfy ever-changing requirements and mass-customization needs. A prime example is the Linux kernel, which employs the C preprocessor to specify a set of related but distinct kernel variants. To study, analyze, and verify variational software, several formal languages have been proposed. For example, the choice calculus has been successfully applied for type checking and symbolic execution of configurable software, while other formalisms have been used for variational model checking, change impact analysis, among other use cases. Yet, these languages have not been formally compared, hence, little is known about their relationships. Crucially, it is unclear to what extent one language subsumes another, how research results from one language can be applied to other languages, and which language is suitable for which purpose or domain. In this paper, we propose a formal framework to compare the expressive power of languages for static (i.e. compile-time) variability. By establishing a common semantic domain to capture a widely used intuition of explicit variability, we can formulate the basic, yet to date neglected, properties of soundness, completeness, and expressiveness for variability languages. We then prove the (un)soundness and (in)completeness of a range of existing languages, and relate their ability to express the same variational systems. We implement our framework as an extensible open source Agda library in which proofs act as correct compilers between languages or differencing algorithms. We find different levels of expressiveness as well as complete and incomplete languages w.r.t. our unified semantic domain, with the choice calculus being among the most expressive languages.<\/jats:p>","DOI":"10.1145\/3689747","type":"journal-article","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T03:23:04Z","timestamp":1728357784000},"page":"1018-1050","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Expressive Power of Languages for Static Variability"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9388-0649","authenticated-orcid":false,"given":"Paul Maximilian","family":"Bittner","sequence":"first","affiliation":[{"name":"Paderborn University, Paderborn, Germany"},{"name":"Ulm University, Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1509-1449","authenticated-orcid":false,"given":"Alexander","family":"Schulthei\u00df","sequence":"additional","affiliation":[{"name":"Paderborn University, Paderborn, Germany"},{"name":"University of Bern, Bern, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-2670-8127","authenticated-orcid":false,"given":"Benjamin","family":"Moosherr","sequence":"additional","affiliation":[{"name":"Ulm University, Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2935-772X","authenticated-orcid":false,"given":"Jeffrey M.","family":"Young","sequence":"additional","affiliation":[{"name":"Input Output Global, Longmont, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6154-1666","authenticated-orcid":false,"given":"Leopoldo","family":"Teixeira","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1214-0791","authenticated-orcid":false,"given":"Eric","family":"Walkingshaw","sequence":"additional","affiliation":[{"name":"Unaffiliated, Corvallis, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6703-2360","authenticated-orcid":false,"given":"Parisa","family":"Ataei","sequence":"additional","affiliation":[{"name":"Input Output Global, Longmont, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8069-9584","authenticated-orcid":false,"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"Paderborn University, Paderborn, Germany"},{"name":"TU Braunschweig, Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,8]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"2024. Vatras \u2013 Our Supplementary Agda Library. Zenodo DOI: https:\/\/doi.org\/10.5281\/zenodo.13502454 10.5281\/zenodo.13502454 Github: https:\/\/github.com\/VariantSync\/Vatras."},{"key":"e_1_3_1_3_2","first-page":"1121","volume-title":"Proc. Int\u2019 l Conf. on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Aadithya Karthik. V.","year":"2011","unstructured":"Karthik. V. Aadithya, Tomasz P. Michalak, and Nicholas R. Jennings. 2011. Representation of Coalitional Games With Algebraic Decision Diagrams. In Proc. Int\u2019 l Conf. on Autonomous Agents and Multiagent Systems (AAMAS). International Foundation for Autonomous Agents and Multiagent Systems, 1121\u20131122."},{"key":"e_1_3_1_4_2","first-page":"28","article-title":"Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice","volume":"7","author":"Aguirre Alejandro","year":"2023","unstructured":"Alejandro Aguirre and Lars Birkedal. 2023. Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice. Proceedings of the ACM on Programming Languages (PACMPL) 7, POPL, Article 2 (2023), 28 pages. https:\/\/doi.org\/10.1145\/3571195 10.1145\/3571195","journal-title":"Proceedings of the ACM on Programming Languages (PACMPL)"},{"issue":"5","key":"e_1_3_1_5_2","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s10664-021-10097-z","article-title":"A Conceptual Model for Unifying Variability in Space and Time: Rationale, Validation, and Illustrative Applications","volume":"27","author":"Ananieva Sofia","year":"2022","unstructured":"Sofia Ananieva, Sandra Greiner, Timo Kehrer, Jacob Kr\u00fcger, Thomas K\u00fchn, Lukas Linsbauer, Sten Gr\u00fcner, Anne Koziolek, Henrik L\u00f6nn, S. Ramesh, and Ralf H. Reussner. 2022. A Conceptual Model for Unifying Variability in Space and Time: Rationale, Validation, and Illustrative Applications. Empirical Software Engineering (EMSE) 27, 5 (2022), 101. https:\/\/doi.org\/10.1007\/s10664-021-10097-z 10.1007\/s10664-021-10097-z","journal-title":"Empirical Software Engineering (EMSE)"},{"key":"e_1_3_1_6_2","first-page":"473","volume-title":"Proc. Int\u2019 l Conf. on Web Engineering (ICWE)","author":"Anfurrutia Felipe I.","year":"2007","unstructured":"Felipe I. Anfurrutia, Oscar D\u00edaz, and Salvador Trujillo. 2007. On Refining XML Artifacts. In Proc. Int\u2019 l Conf. on Web Engineering (ICWE), Vol. 4607. Springer, 473\u2013478. https:\/\/doi.org\/10.1007\/978-3-540-73597-7_39 10.1007\/978-3-540-73597-7_39"},{"key":"e_1_3_1_7_2","volume-title":"The Role of Features and Aspects in Software Development","author":"Apel Sven","year":"2007","unstructured":"Sven Apel. 2007. The Role of Features and Aspects in Software Development. Ph. D. Dissertation. University of Magdeburg."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"e_1_3_1_9_2","first-page":"161","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE)","author":"Apel Sven","year":"2008","unstructured":"Sven Apel, Christian K\u00e4stner, and Don Batory. 2008. Program Refactoring Using Functional Aspects. In Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE). ACM, 161\u2013170. https:\/\/doi.org\/10.1145\/1449913.1449938 10.1145\/1449913.1449938"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.120"},{"key":"e_1_3_1_11_2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/11561347_10","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE)","author":"Apel Sven","year":"2005","unstructured":"Sven Apel, Thomas Leich, Marko Rosenm\u00fcller, and Gunter Saake. 2005. FeatureC++: On the Symbiosis of Feature- Oriented and Aspect-Oriented Programming. In Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE). Springer, 125\u2013140."},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.001"},{"key":"e_1_3_1_13_2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/11687061_5","article-title":"An Overview of CaesarJ.","volume":"1","author":"Aracic Ivica","year":"2006","unstructured":"Ivica Aracic, Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann. 2006. An Overview of CaesarJ. Trans. Aspect- Oriented Software Development 1 (2006), 135\u2013173.","journal-title":"Trans. Aspect- Oriented Software Development"},{"key":"e_1_3_1_14_2","first-page":"146","volume-title":"Proc. Int\u2019 l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"Asirelli Patrizia","year":"2012","unstructured":"Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, and Stefania Gnesi. 2012. A Compositional Framework to Derive Product Line Behavioural Descriptions. In Proc. Int\u2019 l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, 146\u2013161."},{"key":"e_1_3_1_15_2","first-page":"29","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE).","author":"Ataei Parisa","year":"2021","unstructured":"Parisa Ataei, Fariba Khan, and Eric Walkingshaw. 2021. A Variational Database Management System. In Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE). ACM, 29\u201342. https:\/\/doi.org\/10.1145\/3486609.3487197 10.1145\/3486609.3487197"},{"key":"e_1_3_1_16_2","first-page":"165","volume-title":"Proc. Symposium on Principles of Programming Languages (POPL)","author":"Austin Thomas H.","year":"2012","unstructured":"Thomas H. Austin and Cormac Flanagan. 2012. Multiple Facets for Dynamic Information Flow. In Proc. Symposium on Principles of Programming Languages (POPL). ACM, 165\u2013178. https:\/\/doi.org\/10.1145\/2103656.2103677 10.1145\/2103656.2103677"},{"key":"e_1_3_1_17_2","first-page":"188","volume-title":"Proc. Int\u2019 l Conf. on Computer-Aided Design (ICCAD)","author":"Iris Bahar R.","year":"1993","unstructured":"R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, and Fabio Somenzi. 1993. Algebraic Decision Diagrams and Their Applications. In Proc. Int\u2019 l Conf. on Computer-Aided Design (ICCAD). IEEE, 188\u2013191."},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"e_1_3_1_19_2","first-page":"7","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Batory Don","year":"2005","unstructured":"Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). Springer, 7\u201320. https:\/\/doi.org\/10.1007\/11554844_3 10.1007\/11554844_3"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_1_21_2","first-page":"151","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"ter Beek Maurice H.","year":"2019","unstructured":"Maurice H. ter Beek, Klaus Schmid, and Holger Eichelberger. 2019. Textual Variability Modeling Languages: An Overview and Considerations. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 151\u2013157."},{"key":"e_1_3_1_22_2","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.scico.2015.06.005","article-title":"Basic Behavioral Models for Software Product Lines: Expressiveness and Testing Pre-Orders","volume":"123","author":"Beohar Harsh","year":"2016","unstructured":"Harsh Beohar, Mahsa Varshosaz, and Mohammad Reza Mousavi. 2016. Basic Behavioral Models for Software Product Lines: Expressiveness and Testing Pre-Orders. Science of Computer Programming (SCP) 123, C (2016), 42\u201360. https:\/\/doi.org\/10.1016\/j.scico.2015.06.005 10.1016\/j.scico.2015.06.005","journal-title":"Science of Computer Programming (SCP)"},{"key":"e_1_3_1_23_2","first-page":"177","volume-title":"Proc. Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"Bergel Alexandre","year":"2005","unstructured":"Alexandre Bergel, St\u00e9phane Ducasse, and Oscar Nierstrasz. 2005. Classbox\/J: Controlling the Scope of Change in Java. In Proc. Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 177\u2013189. https:\/\/doi.org\/10.1145\/1094811.1094826 10.1145\/1094811.1094826"},{"key":"e_1_3_1_24_2","first-page":"73","volume-title":"Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE)","author":"Berger Thorsten","year":"2010","unstructured":"Thorsten Berger, Steven She, Rafael Lotufo, Andrzej W\u0105sowski, and Krzysztof Czarnecki. 2010. Variability Modeling in the Real: A Perspective From the Operating Systems Domain. In Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE). ACM, 73\u201382. https:\/\/doi.org\/10.1145\/1858996.1859010 10.1145\/1858996.1859010"},{"key":"e_1_3_1_25_2","first-page":"141","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Bittner Paul Maximilian","year":"2023","unstructured":"Paul Maximilian Bittner, Alexander Schulthei\u00df, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, and Thomas Th\u00fcm. 2023. Views on Edits to Variational Software. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 141\u2013152. https:\/\/doi.org\/10.1145\/3579027.3608985 10.1145\/3579027.3608985"},{"key":"e_1_3_1_26_2","first-page":"632","volume-title":"Companion Proc. Int\u2019 l Conference on the Foundations of Software Engineering (FSE Companion)","author":"Bittner Paul Maximilian","year":"2024","unstructured":"Paul Maximilian Bittner, Alexander Schulthei\u00df, Benjamin Moosherr, Timo Kehrer, and Thomas Th\u00fcm. 2024. Variability- Aware Differencing with DiffDetective. In Companion Proc. Int\u2019 l Conference on the Foundations of Software Engineering (FSE Companion). ACM, 632\u2013636. https:\/\/doi.org\/10.1145\/3663529.3663813 10.1145\/3663529.3663813"},{"key":"e_1_3_1_27_2","first-page":"1007","volume-title":"Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE)","author":"Bittner Paul Maximilian","year":"2021","unstructured":"Paul Maximilian Bittner, Alexander Schulthei\u00df, Thomas Th\u00fcm, Timo Kehrer, Jeffrey M. Young, and Lukas Linsbauer. 2021. Feature Trace Recording. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE). ACM, 1007\u20131020. https:\/\/doi.org\/10.1145\/3468264.3468531 10.1145\/3468264.3468531"},{"key":"e_1_3_1_28_2","first-page":"196","volume-title":"Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE)","author":"Bittner Paul Maximilian","year":"2022","unstructured":"Paul Maximilian Bittner, Christof Tinnes, Alexander Schulthei\u00df, S\u00f6ren Viegener, Timo Kehrer, and Thomas Th\u00fcm. 2022. Classifying Edits to Variability in Source Code. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE). ACM, 196\u2013208. https:\/\/doi.org\/10.1145\/3540250.3549108 10.1145\/3540250.3549108"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00181-H"},{"issue":"8","key":"e_1_3_1_30_2","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-Based Algorithms for Boolean Function Manipulation","volume":"35","author":"Bryant Randal E.","year":"1986","unstructured":"Randal E. Bryant. 1986. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. on Computers C-35, 8 (1986), 677\u2013691. https:\/\/doi.org\/10.1109\/tc.1986.1676819 10.1109\/tc.1986.1676819","journal-title":"IEEE Trans. on Computers"},{"key":"e_1_3_1_31_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-319-10575-8_7","volume-title":"Handbook of Model Checking","author":"Bryant Randal E.","year":"2018","unstructured":"Randal E. Bryant. 2018. Binary Decision Diagrams. In Handbook of Model Checking. Springer, 191\u2013217. https:\/\/doi.org\/10.1007\/978-3-319-10575-8_7 10.1007\/978-3-319-10575-8_7"},{"key":"e_1_3_1_32_2","article-title":"Migrating Gradual Types","volume":"32","author":"Campora John Peter","year":"2022","unstructured":"John Peter Campora, Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2022. Migrating Gradual Types. Journal of Functional Programming (JFP) 32 (2022). https:\/\/doi.org\/10.1017\/S0956796822000089 10.1017\/S0956796822000089","journal-title":"Journal of Functional Programming (JFP)"},{"key":"e_1_3_1_33_2","first-page":"757","volume-title":"Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE)","author":"Cashman Mikaela","year":"2018","unstructured":"Mikaela Cashman, Myra B. Cohen, Priya Ranjan, and Robert W. Cottingham. 2018. Navigating the Maze: The Impact of Configurability in Bioinformatics Software. In Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE). ACM, 757\u2013767. https:\/\/doi.org\/10.1145\/3238147.3240466 10.1145\/3238147.3240466"},{"issue":"3","key":"e_1_3_1_34_2","first-page":"37","article-title":"A Formal Framework of Software Product Line Analyses","volume":"30","author":"Castro Thiago","year":"2021","unstructured":"Thiago Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, and Rohit Gheyi. 2021. A Formal Framework of Software Product Line Analyses. Trans. on Software Engineering and Methodology (TOSEM) 30, 3, Article 34 (2021), 37 pages. https:\/\/doi.org\/10.1145\/3442389 10.1145\/3442389","journal-title":"Trans. on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_1_35_2","first-page":"31","article-title":"Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq","volume":"7","author":"Chappe Nicolas","year":"2023","unstructured":"Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, and Steve Zdancewic. 2023. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. Proceedings of the ACM on Programming Languages (PACMPL) 7, POPL, Article 61 (2023), 31 pages. https:\/\/doi.org\/10.1145\/3571254 10.1145\/3571254","journal-title":"Proceedings of the ACM on Programming Languages (PACMPL)"},{"key":"e_1_3_1_36_2","first-page":"362","volume-title":"Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE)","author":"Chen Qingrong","year":"2020","unstructured":"Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu. 2020. Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE). ACM, 362\u2013374. https:\/\/doi.org\/10.1145\/3368089.3409727 10.1145\/3368089.3409727"},{"key":"e_1_3_1_37_2","volume-title":"Variational Typing and Its Applications","author":"Chen Sheng","year":"2015","unstructured":"Sheng Chen. 2015. Variational Typing and Its Applications. Ph. D. Dissertation. Oregon State University."},{"issue":"1","key":"e_1_3_1_38_2","first-page":"1:1","article-title":"Extending Type Inference to Variational Programs","volume":"36","author":"Chen Sheng","year":"2014","unstructured":"Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2014. Extending Type Inference to Variational Programs. ACM Trans. on Programming Languages and Systems (TOPLAS) 36, 1, Article 1 (2014), 1:1\u20131:54 pages. https:\/\/doi.org\/10.1145\/2518190 10.1145\/2518190","journal-title":"ACM Trans. on Programming Languages and Systems (TOPLAS)"},{"key":"e_1_3_1_39_2","first-page":"335","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Classen Andreas","year":"2010","unstructured":"Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, and Jean-Fran\u00e7ois Raskin. 2010. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 335\u2013344."},{"key":"e_1_3_1_40_2","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki Krzysztof","year":"2000","unstructured":"Krzysztof Czarnecki and Ulrich Eisenecker. 2000. Generative Programming: Methods, Tools, and Applications. ACM\/Addison-Wesley."},{"key":"e_1_3_1_41_2","first-page":"23","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Czarnecki Krzysztof","year":"2007","unstructured":"Krzysztof Czarnecki and Andrzej W\u0105sowski. 2007. Feature Diagrams and Logics: There and Back Again. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). IEEE, 23\u201334."},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.5555\/1622810.1622817"},{"key":"e_1_3_1_44_2","first-page":"31","article-title":"On the Expressive Power of String Constraints","volume":"7","author":"Day Joel D.","year":"2023","unstructured":"Joel D. Day, Vijay Ganesh, Nathan Grewal, and Florin Manea. 2023. On the Expressive Power of String Constraints. Proceedings of the ACM on Programming Languages (PACMPL) 7, POPL, Article 10 (2023), 31 pages. https:\/\/doi.org\/10.1145\/3571203 10.1145\/3571203","journal-title":"Proceedings of the ACM on Programming Languages (PACMPL)"},{"key":"e_1_3_1_45_2","first-page":"127","volume-title":"Proc. Int\u2019 l Conf. on Concurrency Theory (CONCUR)","author":"de Boer Frank S.","year":"1991","unstructured":"Frank S. de Boer and Catuscia Palamidessi. 1991. Embedding as a Tool for Language Comparison: On the CSP Hierarchy. In Proc. Int\u2019 l Conf. on Concurrency Theory (CONCUR), Vol. 527. Springer, 127\u2013141."},{"issue":"5","key":"e_1_3_1_46_2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","article-title":"Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, With Application to the Church-Rosser Theorem","volume":"75","author":"Bruijn Nicolaas Govert De","year":"1972","unstructured":"Nicolaas Govert De Bruijn. 1972. Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, With Application to the Church-Rosser Theorem. Indagationes Mathematicae 75, 5 (1972), 381\u2013392.","journal-title":"Indagationes Mathematicae"},{"issue":"5","key":"e_1_3_1_47_2","article-title":"Efficient Family-Based Model Checking via Variability Abstractions","volume":"19","author":"Dimovski Aleksandar S.","year":"2017","unstructured":"Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, and Andrzej W\u0105sowski. 2017. Efficient Family-Based Model Checking via Variability Abstractions. Int\u2019 l J. Software Tools for Technology Transfer (STTT) 19, 5 (2017). https:\/\/doi.org\/10.1007\/s10009-016-0425-2 10.1007\/s10009-016-0425-2","journal-title":"Int\u2019 l J. Software Tools for Technology Transfer (STTT)"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.12.012"},{"key":"e_1_3_1_49_2","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/978-3-030-30446-1_9","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering and Formal Methods (SEFM)","author":"Dubslaff Clemens","year":"2019","unstructured":"Clemens Dubslaff. 2019. Compositional Feature-Oriented Systems. In Proc. Int\u2019 l Conf. on Software Engineering and Formal Methods (SEFM), Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.). Springer, 162\u2013180. https:\/\/doi.org\/10.1007\/978-3-030-30446-1_9 10.1007\/978-3-030-30446-1_9"},{"key":"e_1_3_1_50_2","volume-title":"Quantitative Analysis of Configurable and Reconfigurable Systems","author":"Dubslaff Clemens","year":"2022","unstructured":"Clemens Dubslaff. 2022. Quantitative Analysis of Configurable and Reconfigurable Systems. Ph. D. Dissertation. Dresden University of Technology."},{"key":"e_1_3_1_51_2","first-page":"1468","volume-title":"Proc. Conf. on Artificial Intelligence (AAAI)","author":"Dudek Jeffrey","year":"2020","unstructured":"Jeffrey Dudek, Vu Phan, and Moshe Vardi. 2020. ADDMC: Weighted Model Counting With Algebraic Decision Diagrams. In Proc. Conf. on Artificial Intelligence (AAAI), Vol. 34. AAAI Press, 1468\u20131476. https:\/\/doi.org\/10.1609\/AAAI.V34I02.5505 10.1609\/AAAI.V34I02.5505"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0362-x"},{"key":"e_1_3_1_53_2","first-page":"45","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming: Concepts & Experiences (GPCE)","author":"El-Sharkawy Sascha","year":"2015","unstructured":"Sascha El-Sharkawy, Adam Krafczyk, and Klaus Schmid. 2015. Analysing the KConfig Semantics and its Analysis Tools. In Proc. Int\u2019 l Conf. on Generative Programming: Concepts & Experiences (GPCE). ACM, 45\u201354. https:\/\/doi.org\/10.1145\/2814204.2814222 10.1145\/2814204.2814222"},{"issue":"1","key":"e_1_3_1_54_2","first-page":"27","article-title":"The Choice Calculus: A Representation for Software Variation","volume":"21","author":"Erwig Martin","year":"2011","unstructured":"Martin Erwig and Eric Walkingshaw. 2011. The Choice Calculus: A Representation for Software Variation. Trans. on Software Engineering and Methodology (TOSEM) 21, 1, Article 6 (2011), 27 pages. https:\/\/doi.org\/10.1145\/2063239.2063245 10.1145\/2063239.2063245","journal-title":"Trans. on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_1_55_2","doi-asserted-by":"crossref","unstructured":"Jean-R\u00e9my Falleri Flor\u00e9al Morandat Xavier Blanc Matias Martinez and Martin Monperrus. 2014. Fine-Grained and Accurate Source Code Differencing. In Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE). 313\u2013324. https:\/\/doi.org\/10.1145\/2642937.2642982 10.1145\/2642937.2642982","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_1_56_2","first-page":"67","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Feichtinger Kevin","year":"2022","unstructured":"Kevin Feichtinger, Chico Sundermann, Thomas Th\u00fcm, and Rick Rabiser. 2022. It\u2019 s Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 67\u201378. https:\/\/doi.org\/10.1145\/3546932.3546990 10.1145\/3546932.3546990"},{"key":"e_1_3_1_57_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90036-W"},{"key":"e_1_3_1_58_2","first-page":"316","volume-title":"Proc. Int\u2019 l Conf. on Software Analysis, Evolution and Reengineering (SANER)","author":"Fenske Wolfram","year":"2017","unstructured":"Wolfram Fenske, Jens Meinicke, Sandro Schulze, Steffen Schulze, and Gunter Saake. 2017. Variant-Preserving Refactorings for Migrating Cloned Products to a Product Line. In Proc. Int\u2019 l Conf. on Software Analysis, Evolution and Reengineering (SANER). IEEE, 316\u2013326. https:\/\/doi.org\/10.1109\/SANER.2017.7884632 10.1109\/SANER.2017.7884632"},{"key":"e_1_3_1_59_2","first-page":"4:1","volume-title":"Proc. Int\u2019 l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)","author":"Fenske Wolfram","year":"2014","unstructured":"Wolfram Fenske, Thomas Th\u00fcm, and Gunter Saake. 2014. A Taxonomy of Software Product Line Reengineering. In Proc. Int\u2019 l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). ACM, 4:1\u20134:8. https:\/\/doi.org\/10.1145\/2556624.2556643 10.1145\/2556624.2556643"},{"key":"e_1_3_1_60_2","first-page":"665","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE).","author":"Fischer Stefan","year":"2015","unstructured":"Stefan Fischer, Lukas Linsbauer, Roberto E. Lopez-Herrejon, and Alexander Egyed. 2015. The ECCO Tool: Extraction and Composition for Clone-and-Own. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). IEEE, 665\u2013668. https:\/\/doi.org\/10.1109\/ICSE.2015.218 10.1109\/ICSE.2015.218"},{"issue":"11","key":"e_1_3_1_61_2","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/TSE.2007.70731","article-title":"Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction","volume":"33","author":"Fluri Beat","year":"2007","unstructured":"Beat Fluri, Michael Wuersch, Martin Pinzger, and Harald Gall. 2007. Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction. IEEE Trans. on Software Engineering (TSE) 33, 11 (2007), 725\u2013743. https:\/\/doi.org\/10.1109\/TSE.2007.70731 10.1109\/TSE.2007.70731","journal-title":"IEEE Trans. on Software Engineering (TSE)"},{"key":"e_1_3_1_62_2","first-page":"91","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering: Software Engineering in Practice (ICSE-SEIP)","author":"Franz Patrick","year":"2021","unstructured":"Patrick Franz, Thorsten Berger, Ibrahim Fayaz, Sarah Nadi, and Evgeny Groshev. 2021. ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel. In Proc. Int\u2019 l Conf. on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, 91\u2013100. https:\/\/doi.org\/10.1109\/ICSE-SEIP52600.2021.00018 10.1109\/ICSE-SEIP52600.2021.00018"},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.53586"},{"key":"e_1_3_1_64_2","first-page":"259","volume-title":"Proc. Int\u2019 l Symposium on New Ideas, New Paradigms, and Reflections on Programming (Onward!)","author":"Gazzillo Paul","year":"2022","unstructured":"Paul Gazzillo and Myra B. Cohen. 2022. Bringing Together Configuration Research: Towards a Common Ground. In Proc. Int\u2019 l Symposium on New Ideas, New Paradigms, and Reflections on Programming (Onward!). ACM, 259\u2013269. https:\/\/doi.org\/10.1145\/3563835.3568737 10.1145\/3563835.3568737"},{"key":"e_1_3_1_65_2","volume-title":"A Formal Approach to Software Product Families","author":"Gruler Alexander","year":"2010","unstructured":"Alexander Gruler. 2010. A Formal Approach to Software Product Families. Ph. D. Dissertation. TU M\u00fcnchen."},{"key":"e_1_3_1_66_2","first-page":"113","volume-title":"Proc. IFIP Int\u2019 l Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS)","author":"Gruler Alexander","year":"2008","unstructured":"Alexander Gruler, Martin Leucker, and Kathrin Scheidemann. 2008. Modeling and Model Checking Software Product Lines. In Proc. IFIP Int\u2019 l Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS). Springer, 113\u2013131. https:\/\/doi.org\/10.1007\/978-3-540-68863-1_8 10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_1_67_2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.jss.2017.03.005","article-title":"Automotive Software Engineering: A Systematic Mapping Study","volume":"128","author":"Haghighatkhah Alireza","year":"2017","unstructured":"Alireza Haghighatkhah, Ahmad Banijamali, Olli-Pekka Pakanen, Markku Oivo, and Pasi Kuvaja. 2017. Automotive Software Engineering: A Systematic Mapping Study. J. Systems and Software (JSS) 128 (2017), 25\u201355. https:\/\/doi.org\/10.1016\/j.jss.2017.03.005 10.1016\/j.jss.2017.03.005","journal-title":"J. Systems and Software (JSS)"},{"key":"e_1_3_1_68_2","first-page":"462","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Han Ruidong","year":"2022","unstructured":"Ruidong Han, Chao Yang, Siqi Ma, JiangFeng Ma, Cong Sun, Juanru Li, and Elisa Bertino. 2022. Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 462\u2013473. https:\/\/doi.org\/10.1145\/3510003.3510084 10.1145\/3510003.3510084"},{"key":"e_1_3_1_69_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0127-2"},{"key":"e_1_3_1_70_2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/3001867.3001873","volume-title":"Proc. Int\u2019 l Workshop on Feature-Oriented Software Development (FOSD)","author":"Hubbard Spencer","year":"2016","unstructured":"Spencer Hubbard and Eric Walkingshaw. 2016. Formula Choice Calculus. In Proc. Int\u2019 l Workshop on Feature-Oriented Software Development (FOSD). ACM, 49\u201357. https:\/\/doi.org\/10.1145\/3001867.3001873 10.1145\/3001867.3001873"},{"key":"e_1_3_1_71_2","first-page":"61","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Ji Wenbin","year":"2015","unstructured":"Wenbin Ji, Thorsten Berger, Michal Antkiewicz, and Krzysztof Czarnecki. 2015. Maintaining Feature Traceability With Embedded Annotations. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 61\u201370. https:\/\/doi.org\/10.1145\/2791060.2791107 10.1145\/2791060.2791107"},{"issue":"2","key":"e_1_3_1_72_2","first-page":"22","article-title":"Designing Reusable Classes","volume":"1","author":"Johnson Ralph E.","year":"1988","unstructured":"Ralph E. Johnson and Brian Foote. 1988. Designing Reusable Classes. J. of Object-Oriented Programming ( JOOP) 1, 2 (1988), 22\u201335.","journal-title":"J. of Object-Oriented Programming ( JOOP)"},{"key":"e_1_3_1_73_2","first-page":"143","volume-title":"Proc. Int\u2019 l Workshop on Languages for Modelling Variability (MODEVAR)","author":"Kamali Seiede Reyhane","year":"2019","unstructured":"Seiede Reyhane Kamali, Shirin Kasaei, and Roberto E. Lopez-Herrejon. 2019. Answering the Call of the Wild? Thoughts on the Elusive Quest for Ecological Validity in Variability Modeling. In Proc. Int\u2019 l Workshop on Languages for Modelling Variability (MODEVAR). ACM, 143\u2013150. https:\/\/doi.org\/10.1145\/3307630.3342400 10.1145\/3307630.3342400"},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_1_75_2","volume-title":"Virtual Separation of Concerns: Toward Preprocessors 2.0","author":"K\u00e4stner Christian","year":"2010","unstructured":"Christian K\u00e4stner. 2010. Virtual Separation of Concerns: Toward Preprocessors 2.0. Ph. D. Dissertation. University of Magdeburg."},{"key":"e_1_3_1_76_2","first-page":"311","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"K\u00e4stner Christian","year":"2008","unstructured":"Christian K\u00e4stner, Sven Apel, and Martin Kuhlemann. 2008. Granularity in Software Product Lines. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 311\u2013320. https:\/\/doi.org\/10.1145\/1368088.1368131 10.1145\/1368088.1368131"},{"issue":"3","key":"e_1_3_1_77_2","first-page":"14:1","article-title":"Type Checking Annotation-Based Product Lines","volume":"21","author":"K\u00e4stner Christian","year":"2012","unstructured":"Christian K\u00e4stner, Sven Apel, Thomas Th\u00fcm, and Gunter Saake. 2012. Type Checking Annotation-Based Product Lines. Trans. on Software Engineering and Methodology (TOSEM) 21, 3 (2012), 14:1\u201314:39. https:\/\/doi.org\/10.1145\/2211616.2211617 10.1145\/2211616.2211617","journal-title":"Trans. on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_1_78_2","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-642-02571-6_11","volume-title":"Proc. Int\u2019 l Conf. Objects, Models, Components, Patterns (TOOLS EUROPE)","author":"K\u00e4stner Christian","year":"2009","unstructured":"Christian K\u00e4stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In Proc. Int\u2019 l Conf. Objects, Models, Components, Patterns (TOOLS EUROPE), Manuel Oriol and Bertrand Meyer (Eds.). Springer, 175\u2013194. https:\/\/doi.org\/10.1007\/978-3-642-02571-6_11 10.1007\/978-3-642-02571-6_11"},{"key":"e_1_3_1_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_1_80_2","first-page":"773","volume-title":"Proc. Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"K\u00e4stner Christian","year":"2012","unstructured":"Christian K\u00e4stner, Klaus Ostermann, and Sebastian Erdweg. 2012. A Variability-Aware Module System. In Proc. Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 773\u2013792. https:\/\/doi.org\/10.1145\/2384616.2384673 10.1145\/2384616.2384673"},{"key":"e_1_3_1_81_2","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"e_1_3_1_82_2","first-page":"21","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Kehrer Timo","year":"2021","unstructured":"Timo Kehrer, Thomas Th\u00fcm, Alexander Schulthei\u00df, and Paul Maximilian Bittner. 2021. Bridging the Gap Between Clone-and-Own and Software Product Lines. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). IEEE, 21\u201325. https:\/\/doi.org\/10.1109\/ICSE-NIER52604.2021.00013 10.1109\/ICSE-NIER52604.2021.00013"},{"key":"e_1_3_1_83_2","first-page":"327","volume-title":"Proc. Europ. Conf. on Object-Oriented Programming (ECOOP)","author":"Kiczales Gregor","year":"2001","unstructured":"Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. 2001. An Overview of AspectJ. In Proc. Europ. Conf. on Object-Oriented Programming (ECOOP). Springer, 327\u2013354. https:\/\/doi.org\/10.1007\/3-540-45337-7_18 10.1007\/3-540-45337-7_18"},{"key":"e_1_3_1_84_2","first-page":"220","volume-title":"Proc. Europ. Conf. on Object-Oriented Programming (ECOOP)","author":"Kiczales Gregor","year":"1997","unstructured":"Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. 1997. Aspect-Oriented Programming. In Proc. Europ. Conf. on Object-Oriented Programming (ECOOP). Springer, 220\u2013242."},{"key":"e_1_3_1_85_2","first-page":"49","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Kiczales Gregor","year":"2005","unstructured":"Gregor Kiczales and Mira Mezini. 2005. Aspect-Oriented Programming and Modular Reasoning. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 49\u201358. https:\/\/doi.org\/10.1145\/1062455.1062482 10.1145\/1062455.1062482"},{"key":"e_1_3_1_86_2","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_1_87_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243218.3243219"},{"key":"e_1_3_1_88_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111737"},{"key":"e_1_3_1_89_2","first-page":"10","volume-title":"Proc. Int\u2019 l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)","author":"Kr\u00fcger Jacob","year":"2020","unstructured":"Jacob Kr\u00fcger and Thorsten Berger. 2020. Activities and Costs of Re-Engineering Cloned Variants Into an Integrated Platform. In Proc. Int\u2019 l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS). ACM, Article 21, 10 pages. https:\/\/doi.org\/10.1145\/3377024.3377044 10.1145\/3377024.3377044"},{"key":"e_1_3_1_90_2","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409684"},{"key":"e_1_3_1_91_2","first-page":"110:1","volume-title":"Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE)","author":"Kuiter Elias","year":"2022","unstructured":"Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Th\u00fcm, and Gunter Saake. 2022. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. In Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE). ACM, 110:1\u2013110:13. https:\/\/doi.org\/10.1145\/3551349.3556938 10.1145\/3551349.3556938"},{"key":"e_1_3_1_92_2","first-page":"179","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Kuiter Elias","year":"2018","unstructured":"Elias Kuiter, Jacob Kr\u00fcger, Sebastian Krieter, Thomas Leich, and Gunter Saake. 2018. Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 179\u2013189. https:\/\/doi.org\/10.1145\/3233027.3233050 10.1145\/3233027.3233050"},{"key":"e_1_3_1_93_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.05.003"},{"key":"e_1_3_1_94_2","first-page":"105","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Liebig J\u00f6rg","year":"2010","unstructured":"J\u00f6rg Liebig, Sven Apel, Christian Lengauer, Christian K\u00e4stner, and Michael Schulze. 2010. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). IEEE, 105\u2013114. https:\/\/doi.org\/10.1145\/1806799.1806819 10.1145\/1806799.1806819"},{"key":"e_1_3_1_95_2","first-page":"81","volume-title":"Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE)","author":"Liebig J\u00f6rg","year":"2013","unstructured":"J\u00f6rg Liebig, Alexander von Rhein, Christian K\u00e4stner, Sven Apel, Jens D\u00f6rre, and Christian Lengauer. 2013. Scalable Analysis of Variable Software. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE). ACM, 81\u201391. https:\/\/doi.org\/10.1145\/2491411.2491437 10.1145\/2491411.2491437"},{"key":"e_1_3_1_96_2","first-page":"49","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming: Concepts & Experiences (GPCE)","author":"Linsbauer Lukas","year":"2017","unstructured":"Lukas Linsbauer, Thorsten Berger, and Paul Gr\u00fcnbacher. 2017. A Classification of Variation Control Systems. In Proc. Int\u2019 l Conf. on Generative Programming: Concepts & Experiences (GPCE). ACM, 49\u201362. https:\/\/doi.org\/10.1145\/3136040.3136054 10.1145\/3136040.3136054"},{"key":"e_1_3_1_97_2","first-page":"803","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Linsbauer Lukas","year":"2016","unstructured":"Lukas Linsbauer, Alexander Egyed, and Roberto Erick Lopez-Herrejon. 2016. A Variability Aware Configuration Management and Revision Control Platform. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 803\u2013806. https:\/\/doi.org\/10.1145\/2889160.2889262 10.1145\/2889160.2889262"},{"key":"e_1_3_1_98_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0512-y"},{"key":"e_1_3_1_99_2","first-page":"112","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Liu Jia","year":"2006","unstructured":"Jia Liu, Don Batory, and Christian Lengauer. 2006. Feature Oriented Refactoring of Legacy Applications. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 112\u2013121. https:\/\/doi.org\/10.1145\/1134285.1134303 10.1145\/1134285.1134303"},{"key":"e_1_3_1_100_2","first-page":"1658","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Mahmood Wardah","year":"2021","unstructured":"Wardah Mahmood, Daniel Strueber, Thorsten Berger, Ralf Laemmel, and Mukelabai Mukelabai. 2021. Seamless Variability Management With the Virtual Platform. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). IEEE, 1658\u20131670. https:\/\/doi.org\/10.1109\/ICSE43902.2021.00147 10.1109\/ICSE43902.2021.00147"},{"key":"e_1_3_1_101_2","first-page":"199","volume-title":"USENIX Conf. on File and Storage Technologies (FAST).","author":"Mahmud Tabassum","year":"2023","unstructured":"Tabassum Mahmud, Om Rameshwar Gatla, Duo Zhang, Carson Love, Ryan Bumann, and Mai Zheng. 2023. ConfD: Analyzing Configuration Dependencies of File Systems for Fun and Profit. In USENIX Conf. on File and Storage Technologies (FAST). USENIX Association, 199\u2013214."},{"key":"e_1_3_1_102_2","first-page":"211","volume-title":"Proc. Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"McDirmid Sean","year":"2001","unstructured":"Sean McDirmid, Matthew Flatt, and Wilson C. Hsieh. 2001. Jiazzi: New-Age Components for Old-Fashioned Java. In Proc. Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 211\u2013222. https:\/\/doi.org\/10.1145\/504282.504298 10.1145\/504282.504298"},{"key":"e_1_3_1_103_2","first-page":"483","volume-title":"Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE)","author":"Meinicke Jens","year":"2016","unstructured":"Jens Meinicke, Chu-Pan Wong, Christian K\u00e4stner, Thomas Th\u00fcm, and Gunter Saake. 2016. On Essential Configuration Complexity: Measuring Interactions in Highly-Configurable Systems. In Proc. Int\u2019 l Conf. on Automated Software Engineering (ASE). ACM, 483\u2013494. https:\/\/doi.org\/10.1145\/2970276.2970322 10.1145\/2970276.2970322"},{"key":"e_1_3_1_104_2","first-page":"231","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Mendon\u00e7a Marc\u00edlio","year":"2009","unstructured":"Marc\u00edlio Mendon\u00e7a, Andrzej W\u0105sowski, and Krzysztof Czarnecki. 2009. SAT-Based Analysis of Feature Models Is Easy. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). Software Engineering Institute, 231\u2013240."},{"key":"e_1_3_1_105_2","first-page":"13","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE)","author":"Mendon\u00e7a Marc\u00edlio","year":"2008","unstructured":"Marc\u00edlio Mendon\u00e7a, Andrzej W\u0105sowski, Krzysztof Czarnecki, and Donald Cowan. 2008. Efficient Compilation Techniques for Large Scale Feature Models. In Proc. Int\u2019 l Conf. on Generative Programming and Component Engineering (GPCE). ACM, 13\u201322."},{"key":"e_1_3_1_106_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.005"},{"key":"e_1_3_1_107_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90004-9"},{"key":"e_1_3_1_108_2","first-page":"907","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Nguyen Hung Viet","year":"2014","unstructured":"Hung Viet Nguyen, Christian K\u00e4stner, and Tien N. Nguyen. 2014. Exploring Variability-Aware Execution for Testing Plugin-Based Web Applications. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 907\u2013918. https:\/\/doi.org\/10.1145\/2568225.2568300 10.1145\/2568225.2568300"},{"key":"e_1_3_1_109_2","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468578"},{"key":"e_1_3_1_110_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.011"},{"issue":"4","key":"e_1_3_1_111_2","article-title":"Coevolution of Variability Models and Related Software Artifacts","volume":"21","author":"Passos Leonardo","year":"2016","unstructured":"Leonardo Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej W\u0105sowski, Krzysztof Czarnecki, Paulo Borba, and Jianmei Guo. 2016. Coevolution of Variability Models and Related Software Artifacts. Empirical Software Engineering (EMSE) 21, 4 (2016). https:\/\/doi.org\/10.1007\/s10664-015-9364-x 10.1007\/s10664-015-9364-x","journal-title":"Empirical Software Engineering (EMSE)"},{"key":"e_1_3_1_112_2","first-page":"29","article-title":"On the Semantic Expressiveness of Recursive Types","volume":"5","author":"Patrignani Marco","year":"2021","unstructured":"Marco Patrignani, Eric Mark Martin, and Dominique Devriese. 2021. On the Semantic Expressiveness of Recursive Types. Proceedings of the ACM on Programming Languages (PACMPL) 5, POPL, Article 21 (2021), 29 pages. https:\/\/doi.org\/10.1145\/3434302 10.1145\/3434302","journal-title":"Proceedings of the ACM on Programming Languages (PACMPL)"},{"key":"e_1_3_1_113_2","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2962726"},{"key":"e_1_3_1_114_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"e_1_3_1_115_2","first-page":"2847","volume-title":"Proc. Int\u2019 l Conf. on Machine Learning (ICML)","author":"Raghu Maithra","year":"2017","unstructured":"Maithra Raghu, Ben Poole, Jon Kleinberg, Surya Ganguli, and Jascha Sohl-Dickstein. 2017. On the Expressive Power of Deep Neural Networks. In Proc. Int\u2019 l Conf. on Machine Learning (ICML), Vol. 70. PMLR, 2847\u20132854."},{"key":"e_1_3_1_116_2","first-page":"34","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Rosiak Kamil","year":"2023","unstructured":"Kamil Rosiak and Ina Schaefer. 2023. The e4CompareFramework: Annotation-based Software Product-Line Extraction. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 34\u201338. https:\/\/doi.org\/10.1145\/3579028.3609012 10.1145\/3579028.3609012"},{"key":"e_1_3_1_117_2","first-page":"101","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Rubin Julia","year":"2013","unstructured":"Julia Rubin, Krzysztof Czarnecki, and Marsha Chechik. 2013. Managing Cloned Variants: A Framework and Experience. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). ACM, 101\u2013110. https:\/\/doi.org\/10.1145\/2491627.2491644 10.1145\/2491627.2491644"},{"key":"e_1_3_1_118_2","first-page":"77","volume-title":"Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC)","author":"Schaefer Ina","year":"2010","unstructured":"Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, and Nico Tanzarella. 2010. Delta-Oriented Programming of Software Product Lines. In Proc. Int\u2019 l Systems and Software Product Line Conf. (SPLC). Springer, 77\u201391."},{"key":"e_1_3_1_119_2","doi-asserted-by":"crossref","first-page":"1466","DOI":"10.1145\/2851613.2851785","volume-title":"Proc. ACM Symposium on Applied Computing (SAC)","author":"Schmorleiz Thomas","year":"2016","unstructured":"Thomas Schmorleiz and Ralf L\u00e4mmel. 2016. Similarity Management of\u2019 Cloned and Owned\u2019 Variants. In Proc. ACM Symposium on Applied Computing (SAC). ACM, 1466\u20131471. https:\/\/doi.org\/10.1145\/2851613.2851785 10.1145\/2851613.2851785"},{"key":"e_1_3_1_120_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"e_1_3_1_121_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00722-3"},{"key":"e_1_3_1_122_2","first-page":"27","article-title":"Automatic and Efficient Variability-Aware Lifting of Functional Programs","volume":"4","author":"Shahin Ramy","year":"2020","unstructured":"Ramy Shahin and Marsha Chechik. 2020. Automatic and Efficient Variability-Aware Lifting of Functional Programs. Proceedings of the ACM on Programming Languages (PACMPL) 4, OOPSLA, Article 157 (2020), 27 pages. https:\/\/doi.org\/10.1145\/3428225 10.1145\/3428225","journal-title":"Proceedings of the ACM on Programming Languages (PACMPL)"},{"key":"e_1_3_1_123_2","doi-asserted-by":"publisher","DOI":"10.1145\/72551.72555"},{"key":"e_1_3_1_124_2","first-page":"620","volume-title":"Proc. Int\u2019 l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning","author":"Sharma Shubham","year":"2018","unstructured":"Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S Meel. 2018. Knowledge Compilation Meets Uniform Sampling. In Proc. Int\u2019 l Conf. on Logic for Programming, Artificial Intelligence, and Reasoning. EasyChair, 620\u2013636."},{"issue":"2","key":"e_1_3_1_125_2","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/505145.505148","article-title":"Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs","volume":"11","author":"Smaragdakis Yannis","year":"2002","unstructured":"Yannis Smaragdakis and Don Batory. 2002. Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs. Trans. on Software Engineering and Methodology (TOSEM) 11, 2 (2002), 215\u2013255. https:\/\/doi.org\/10.1145\/505145.505148 10.1145\/505145.505148","journal-title":"Trans. on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_1_126_2","first-page":"53","volume-title":"Proc. Int\u2019 l Conf. on Technology of Object-Oriented Languages and Systems (TOOLS)","author":"Spinczyk Olaf","year":"2002","unstructured":"Olaf Spinczyk, Andreas Gal, and Wolfgang Schr\u00f6der-Preikschat. 2002. AspectC++: An Aspect-Oriented Extension to the C++ Programming Language. In Proc. Int\u2019 l Conf. on Technology of Object-Oriented Languages and Systems (TOOLS). Australian Computer Society, 53\u201360."},{"key":"e_1_3_1_127_2","first-page":"323","volume-title":"Proc. Int\u2019 l Conf. on Software Maintenance and Evolution (ICSME)","author":"St\u0103nciulescu Stefan","year":"2016","unstructured":"Stefan St\u0103nciulescu, Thorsten Berger, Eric Walkingshaw, and Andrzej W\u0105sowski. 2016. Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. In Proc. Int\u2019 l Conf. on Software Maintenance and Evolution (ICSME). IEEE, 323\u2013333. https:\/\/doi.org\/10.1109\/ICSME.2016.88 10.1109\/ICSME.2016.88"},{"issue":"29","key":"e_1_3_1_128_2","first-page":"38","article-title":"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces","volume":"28","author":"Sundermann Chico","year":"2023","unstructured":"Chico Sundermann, Tobias He\u00df, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Th\u00fcm, and Ina Schaefer. 2023. Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. Empirical Software Engineering (EMSE) 28, 29 (2023), 38. https:\/\/doi.org\/10.1007\/s10664-022-10265-9 10.1007\/s10664-022-10265-9","journal-title":"Empirical Software Engineering (EMSE)"},{"key":"e_1_3_1_129_2","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Elias Kuiter Tobias He\u00df Heiko Raab Sebastian Krieter and Thomas Th\u00fcm. 2023. On the Benefits of Knowledge Compilation for Feature-Model Analyses. Annals of Mathematics and Artificial Intelligence (AMAI) (2023). https:\/\/doi.org\/10.1007\/s10472-023-09906-6 10.1007\/s10472-023-09906-6","DOI":"10.1007\/s10472-023-09906-6"},{"key":"e_1_3_1_130_2","first-page":"10","volume-title":"Proc. Int\u2019 l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)","author":"Sundermann Chico","year":"2021","unstructured":"Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias He\u00df, Thomas Th\u00fcm, and Ina Schaefer. 2021. Applications of #SAT Solvers on Feature Models. In Proc. Int\u2019 l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS). ACM, Article 12, 10 pages. https:\/\/doi.org\/10.1145\/3442391.3442404 10.1145\/3442391.3442404"},{"key":"e_1_3_1_131_2","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Heiko Raab Tobias He\u00df Thomas Th\u00fcm and Ina Schaefer. 2024. Reusing d-DNNFs for Efficient Feature-Model Counting. Trans. on Software Engineering and Methodology (TOSEM) (2024). To appear.","DOI":"10.1145\/3680465"},{"key":"e_1_3_1_132_2","unstructured":"GNU Operating System. 2024. Autoconf. Website. Available online at https:\/\/www.gnu.org\/software\/autoconf\/; visited on April 2nd 2024.."},{"key":"e_1_3_1_133_2","unstructured":"GNU Operating System. 2024. GNU M4. Website. Available online at https:\/\/www.gnu.org\/software\/m4\/; visited on April 2nd 2024.."},{"key":"e_1_3_1_134_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.006"},{"key":"e_1_3_1_135_2","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_1_136_2","unstructured":"The Univalent Foundations Program. 2013. Homotopy Type Theory: Univalent Foundations of Mathematics. https:\/\/homotopytypetheory.org\/book."},{"key":"e_1_3_1_137_2","volume-title":"The Choice Calculus: A Formal Language of Variation","author":"Walkingshaw Eric","year":"2013","unstructured":"Eric Walkingshaw. 2013. The Choice Calculus: A Formal Language of Variation. Ph. D. Dissertation. Oregon State University."},{"key":"e_1_3_1_138_2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/2658761.2658766","volume-title":"Proc. Int\u2019 l Conf. on Generative Programming: Concepts & Experiences (GPCE)","author":"Walkingshaw Eric","year":"2014","unstructured":"Eric Walkingshaw and Klaus Ostermann. 2014. Projectional Editing of Variational Software. In Proc. Int\u2019 l Conf. on Generative Programming: Concepts & Experiences (GPCE). ACM, 29\u201338. https:\/\/doi.org\/10.1145\/2658761.2658766 10.1145\/2658761.2658766"},{"key":"e_1_3_1_139_2","doi-asserted-by":"publisher","DOI":"10.5555\/35517"},{"key":"e_1_3_1_140_2","first-page":"271","volume-title":"Proc. Int\u2019 l Conf. on Software Analysis, Evolution and Reengineering (SANER)","author":"Wille David","year":"2016","unstructured":"David Wille, Sandro Schulze, Christoph Seidl, and Ina Schaefer. 2016. Custom-Tailored Variability Mining for Block-Based Languages. In Proc. Int\u2019 l Conf. on Software Analysis, Evolution and Reengineering (SANER). IEEE, 271\u2013282. https:\/\/doi.org\/10.1109\/SANER.2016.13 10.1109\/SANER.2016.13"},{"key":"e_1_3_1_141_2","volume-title":"Beyond Configurable Systems: Applying Variational Execution to Tackle Large Search Spaces","author":"Wong Chu-Pan","year":"2021","unstructured":"Chu-Pan Wong. 2021. Beyond Configurable Systems: Applying Variational Execution to Tackle Large Search Spaces. Ph. D. Dissertation. Carnegie Mellon University."},{"key":"e_1_3_1_142_2","first-page":"749","volume-title":"Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE) (ESEC\/FSE 2018)","author":"Wong Chu-Pan","year":"2018","unstructured":"Chu-Pan Wong, Jens Meinicke, and Christian K\u00e4stner. 2018. Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE) (ESEC\/FSE 2018). ACM, 749\u2013753. https:\/\/doi.org\/10.1145\/3236024.3264837 10.1145\/3236024.3264837"},{"key":"e_1_3_1_143_2","first-page":"30","article-title":"Faster Variational Execution With Transparent Bytecode Transformation","volume":"2","author":"Wong Chu-Pan","year":"2018","unstructured":"Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, and Christian K\u00e4stner. 2018. Faster Variational Execution With Transparent Bytecode Transformation. Proceedings of the ACM on Programming Languages (PACMPL) 2, OOPSLA, Article 117 (2018), 30 pages. https:\/\/doi.org\/10.1145\/3276487 10.1145\/3276487","journal-title":"Proceedings of the ACM on Programming Languages (PACMPL)"},{"key":"e_1_3_1_144_2","volume-title":"Variational Satisfiability Solving","author":"Young Jeffrey M.","year":"2021","unstructured":"Jeffrey M. Young. 2021. Variational Satisfiability Solving. Ph. D. Dissertation. Oregon State University."},{"key":"e_1_3_1_145_2","first-page":"53","article-title":"Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems","volume":"28","author":"Young Jeffrey M.","year":"2022","unstructured":"Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, and Thomas Th\u00fcm. 2022. Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems. Empirical Software Engineering (EMSE) 28 (2022), 53. https:\/\/doi.org\/10.1007\/s10664-022-10217-3 10.1007\/s10664-022-10217-3","journal-title":"Empirical Software Engineering (EMSE)"},{"key":"e_1_3_1_146_2","first-page":"188","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE).","author":"Zhang Yuanliang","year":"2021","unstructured":"Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, and Tianyin Xu. 2021. An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). IEEE, 188\u2013200."},{"key":"e_1_3_1_147_2","first-page":"105","volume-title":"Proc. Int\u2019 l Conf. on Software Engineering (ICSE)","author":"Zhou Shurui","year":"2018","unstructured":"Shurui Zhou, \u015etefan St\u0103nciulescu, Olaf Le\u00dfenich, Yingfei Xiong, Andrzej W\u0105sowski, and Christian K\u00e4stner. 2018. Identifying Features in Forks. In Proc. Int\u2019 l Conf. on Software Engineering (ICSE). ACM, 105\u2013116. https:\/\/doi.org\/10.1145\/3180155.3180205 10.1145\/3180155.3180205"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689747","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T09:09:13Z","timestamp":1770196153000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,8]]},"references-count":146,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2024,10,8]]}},"alternative-id":["10.1145\/3689747"],"URL":"https:\/\/doi.org\/10.1145\/3689747","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,8]]},"assertion":[{"value":"2024-04-05","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-10-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}