{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T14:52:03Z","timestamp":1773067923052,"version":"3.50.1"},"reference-count":29,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.441.7","type":"journal-article","created":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T12:09:49Z","timestamp":1772539789000},"page":"103-125","source":"Crossref","is-referenced-by-count":0,"title":["A Core Calculus for Type-safe Product Lines of C Programs"],"prefix":"10.4204","volume":"441","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[{"name":"University of Turin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daisuke","family":"Kimura","sequence":"additional","affiliation":[{"name":"Toho University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[{"name":"University of Turin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makoto","family":"Tatsuta","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2026,3,4]]},"reference":[{"key":"C24-standard","volume-title":"The Current C Programming Language Standard \u2013 ISO\/IEC 9899:2024 (C24)","author":"ANSI","year":"2024"},{"key":"DBLP:books\/daglib\/0032924","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel","year":"2013"},{"key":"Barendregt:1985","series-title":"Studies in logic and the foundations of mathematics","volume-title":"The lambda calculus - its syntax and semantics","volume":"103","author":"Barendregt","year":"1985"},{"key":"Batory:2005","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","article-title":"Feature Models, Grammars, and Propositional Formulas","volume-title":"Proceedings of International Software Product Line Conference (SPLC)","volume":"3714","author":"Batory","year":"2005"},{"issue":"3","key":"blazy2009jar","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/S10817-009-9148-3","article-title":"Mechanized Semantics for the Clight Subset of the C Language","volume":"43","author":"Blazy","year":"2009","journal-title":"J. Autom. Reason."},{"key":"book1988ansiC","volume-title":"The ANSI C Programming Language","author":"Brian W. Kernighan","year":"1988"},{"key":"Cardelli:POPL-1997","series-title":"POPL '97","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735","article-title":"Program fragments, linking, and modularization","volume-title":"Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Cardelli","year":"1997"},{"issue":"2","key":"Church:1932","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","article-title":"A Set of Postulates for the Foundation of Logic","volume":"33","author":"Church","year":"1932","journal-title":"Annals of Mathematics"},{"key":"Clements:2001","volume-title":"Software Product Lines: Practices & Patterns","author":"Clements","year":"2001"},{"key":"ellison12phd","volume-title":"A formal semantics of C with applications","author":"Ellison","year":"2012"},{"key":"ellison2012acm","series-title":"POPL '12","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103719","article-title":"An executable formal semantics of C with applications","volume-title":"Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Ellison","year":"2012"},{"key":"Gentoo","volume-title":"Gentoo Linux","author":"Foundation","year":"2019"},{"key":"hathhorn2015acm","series-title":"PLDI '15","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737979","article-title":"Defining the undefinedness of C","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Hathhorn","year":"2015"},{"issue":"3","key":"FJ:TOPLAS-2001","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505","article-title":"Featherweight Java: a minimal core calculus for Java and GJ","volume":"23","author":"Igarashi","year":"2001","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"jeehoon2015acm","series-title":"PLDI '15","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738005","article-title":"A formal C memory model supporting integer-pointer casts","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Kang","year":"2015"},{"issue":"3","key":"kastner2021acm","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617","article-title":"Type checking annotation-based product lines","volume":"21","author":"K\u00e4stner","year":"2012","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"KOE:OOPSLA12","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1145\/2384616.2384673","article-title":"A Variability-Aware Module System","volume-title":"Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"K\u00e4stner","year":"2012"},{"key":"typechef:FOSD-2010","series-title":"FOSD '10","doi-asserted-by":"publisher","DOI":"10.1145\/1868688.1868693","article-title":"TypeChef: toward type checking #ifdef variability in C","volume-title":"Proceedings of the 2nd International Workshop on Feature-Oriented Software Development","author":"Kenner","year":"2010"},{"key":"liebig-et-al:ICSE-2010","series-title":"ICSE '10","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819","article-title":"An analysis of the variability in forty preprocessor-based software product lines","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1","author":"Liebig","year":"2010"},{"key":"LvKADL:ESECFSE13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/2491411.2491437","article-title":"Scalable Analysis of Variable Software","volume-title":"Proceedings of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE)","author":"Liebig","year":"2013"},{"key":"Lienhardt-e-al:ICSE-2020","series-title":"ICSE '20","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380372","article-title":"Lazy product discovery in huge configuration spaces","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","author":"Lienhardt","year":"2020"},{"key":"Medeiros-et-al:GPCE-2013","doi-asserted-by":"publisher","DOI":"10.1145\/2517208.2517221","article-title":"Investigating preprocessor-based syntax errors","author":"Medeiros","year":"2013"},{"key":"pierce2002book","volume-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"issue":"3","key":"Plotkin:1977","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","article-title":"LCF considered as a programming language","volume":"5","author":"Plotkin","year":"1977","journal-title":"Theoretical Computer Science"},{"key":"Pohl:2005","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering - Foundations, Principles, and Techniques","author":"Pohl","year":"2005"},{"issue":"4","key":"vLJKA:TOSEM18","doi-asserted-by":"publisher","DOI":"10.1145\/3280986","article-title":"Variability-Aware Static Analysis at Scale: An Empirical Study","volume":"27","author":"von Rhein","year":"2018","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"Schaefer-EtAl:STTT-2012","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","article-title":"Software diversity: state of the art and perspectives","volume":"14","author":"Schaefer","year":"2012","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"FeatherweightC:2012","volume-title":"The Semantics of a Familiar Language: Featherweight C","author":"Siek","year":"2012"},{"issue":"1","key":"Thum-EtAl:ACM-CS-2014","doi-asserted-by":"publisher","DOI":"10.1145\/2580950","article-title":"A Classification and Survey of Analysis Strategies for Software Product Lines","volume":"47","author":"Th\u00fcm","year":"2014","journal-title":"ACM Comput. Surv."}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T10:17:57Z","timestamp":1773051477000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2603.04013v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.4204\/eptcs.441.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,4]]}}}