{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:19Z","timestamp":1772164039141,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,10]],"date-time":"2010-10-10T00:00:00Z","timestamp":1286668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,10]]},"DOI":"10.1145\/1868294.1868300","type":"proceedings-article","created":{"date-parts":[[2010,10,12]],"date-time":"2010-10-12T11:38:31Z","timestamp":1286883511000},"page":"33-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Efficient extraction and analysis of preprocessor-based variability"],"prefix":"10.1145","author":[{"given":"Julio","family":"Sincero","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-University Erlangen-Nuremberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Tartler","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-University Erlangen-Nuremberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-University Erlangen-Nuremberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schr\u00f6der-Preikschat","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-University Erlangen-Nuremberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(20000710)30:8%3C907::AID-SPE324%3E3.3.CO;2-9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/512035.512047"},{"key":"e_1_3_2_1_3_1","first-page":"281","volume-title":"8th Conf. on Reverse Engineering (WCRE \u201901)","author":"Ira","unstructured":"}} Ira D. Baxter and Michael Mehlich. Preprocessor conditional removal by simple partial evaluation . In 8th Conf. on Reverse Engineering (WCRE \u201901) , pages 281 --, Washington, DC, USA, 2001. IEEE. }}Ira D. Baxter and Michael Mehlich. Preprocessor conditional removal by simple partial evaluation. In 8th Conf. on Reverse Engineering (WCRE \u201901), pages 281--, Washington, DC, USA, 2001. IEEE."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_5_1","volume-title":"http:\/\/sourceforge.net\/projects\/buddy","author":"Dy","year":"2009","unstructured":"}}BuD Dy project. http:\/\/sourceforge.net\/projects\/buddy , 2009 . }}BuDDy project. http:\/\/sourceforge.net\/projects\/buddy, 2009."},{"key":"e_1_3_2_1_6_1","first-page":"51","volume-title":"3th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '09)","author":"Classen Andreas","year":"2009","unstructured":"}} Andreas Classen , Arnaud Hubaux , and Patrick Heymans . A formal semantics for multi-level staged configuration . In 3th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '09) , pages 51 -- 60 , 2009 . }}Andreas Classen, Arnaud Hubaux, and Patrick Heymans. A formal semantics for multi-level staged configuration. In 3th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '09), pages 51--60, 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308185"},{"key":"e_1_3_2_1_10_1","first-page":"196","volume-title":"16th IEEE Int. Conf. on Software Maintainance (ICSM\u201900)","author":"Hu Ying","year":"2000","unstructured":"}} Ying Hu , Ettore Merlo , Michel Dagenais , and Bruno Lag\u00fce . C\/C++ conditional compilation analysis using symbolic execution . In 16th IEEE Int. Conf. on Software Maintainance (ICSM\u201900) , page 196 , Washington, DC, USA , 2000 . IEEE. }}Ying Hu, Ettore Merlo, Michel Dagenais, and Bruno Lag\u00fce. C\/C++ conditional compilation analysis using symbolic execution. In 16th IEEE Int. Conf. on Software Maintainance (ICSM\u201900), page 196, Washington, DC, USA, 2000. IEEE."},{"key":"e_1_3_2_1_11_1","volume-title":"Programming languages -- C","author":"}}International Organization for Standardization. ISO\/IEC 9899:TC2","year":"2005","unstructured":"}}International Organization for Standardization. ISO\/IEC 9899:TC2 : Programming languages -- C . International Organization for Standardization , Geneva, Switzerland , 2005 . }}International Organization for Standardization. ISO\/IEC 9899:TC2: Programming languages -- C. International Organization for Standardization, Geneva, Switzerland, 2005."},{"key":"e_1_3_2_1_12_1","volume-title":"Partial evaluation and automatic program generation","author":"Jones Neil D.","year":"1993","unstructured":"}} Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . Partial evaluation and automatic program generation . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1993 . }}Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02571-6_11"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/977397.977731"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/fmv.jku.at\/limmat\/","author":"The Limmat SAT","year":"2002","unstructured":"}} The Limmat SAT solver. http:\/\/fmv.jku.at\/limmat\/ , 2002 . }}The Limmat SAT solver. http:\/\/fmv.jku.at\/limmat\/, 2002."},{"key":"e_1_3_2_1_18_1","unstructured":"}}Linus Torvalds. Sparse - a semantic parser for C. http:\/\/www.kernel.org\/pub\/software\/devel\/sparse\/ 2003.  }}Linus Torvalds. Sparse - a semantic parser for C. http:\/\/www.kernel.org\/pub\/software\/devel\/sparse\/ 2003."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"3rd Int. Conf. on Generative and Component-Based Software Engineering (GCSE '01)","volume":"2186","author":"Roberto","year":"2001","unstructured":"}} Roberto E. Lopez-Herrejon and Don Batory. A standard problem for evaluating product-line methodologies . In 3rd Int. Conf. on Generative and Component-Based Software Engineering (GCSE '01) , volume 2186 , pages 10 -- 24 , Heidelberg, Germany , 2001 . Springer. }}Roberto E. Lopez-Herrejon and Don Batory. A standard problem for evaluating product-line methodologies. In 3rd Int. Conf. on Generative and Component-Based Software Engineering (GCSE '01), volume 2186, pages 10--24, Heidelberg, Germany, 2001. Springer."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.61"},{"key":"e_1_3_2_1_22_1","volume-title":"Linz","author":"She Steven","year":"2010","unstructured":"}} Steven She , Rafael Lotufo , Thorsten Berger , Andrzej Wasowski , and Krzysztof Czarnecki . The variability model of the linux kernel. In 4th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '10) , Linz , Austria , January 2010 . }}Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. The variability model of the linux kernel. In 4th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '10), Linz, Austria, January 2010."},{"key":"e_1_3_2_1_23_1","volume-title":"International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007","author":"Sincero Julio","year":"2007","unstructured":"}} Julio Sincero , Horst Schirmeier , Wolfgang Schr\u00f6der-Preikschat , and Olaf Spinczyk . Is the linux kernel a software product line? In Frank van der Linden and Bj\u00f6rn Lundell, editors , International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007 ), Kyoto, Japan , 2007 . }}Julio Sincero, Horst Schirmeier, Wolfgang Schr\u00f6der-Preikschat, and Olaf Spinczyk. Is the linux kernel a software product line? In Frank van der Linden and Bj\u00f6rn Lundell, editors, International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007), Kyoto, Japan, 2007."},{"key":"e_1_3_2_1_24_1","volume-title":"12th Software Product Line Conf. (SPLC '08)","author":"Sincero Julio","year":"2008","unstructured":"}} Julio Sincero and Wolfgang Schr\u00f6der-Preikschat . The linux kernel configurator as a feature modeling tool. In Steffen Thiel and Klaus Pohl, editors , 12th Software Product Line Conf. (SPLC '08) , Second Volume, pages 257--260. Lero Int. Science Centre, University of Limerick, Ireland , 2008 . }}Julio Sincero and Wolfgang Schr\u00f6der-Preikschat. The linux kernel configurator as a feature modeling tool. In Steffen Thiel and Klaus Pohl, editors, 12th Software Product Line Conf. (SPLC '08), Second Volume, pages 257--260. Lero Int. Science Centre, University of Limerick, Ireland, 2008."},{"key":"e_1_3_2_1_26_1","volume-title":"1992 USENIX ATC","author":"Spencer Henry","year":"1992","unstructured":"}} Henry Spencer and Gehoff Collyer . #ifdef considered harmful , or portability experience with C News . In 1992 USENIX ATC , Berkeley, CA, USA , June 1992 . USENIX. }}Henry Spencer and Gehoff Collyer. #ifdef considered harmful, or portability experience with C News. In 1992 USENIX ATC, Berkeley, CA, USA, June 1992. USENIX."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629716.1629732"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"}],"event":{"name":"GPCE'10: Generative Programming and Component Engineering","location":"Eindhoven The Netherlands","acronym":"GPCE'10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the ninth international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868294.1868300","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868294.1868300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:08:52Z","timestamp":1750234132000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868294.1868300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,10]]},"references-count":27,"alternative-id":["10.1145\/1868294.1868300","10.1145\/1868294"],"URL":"https:\/\/doi.org\/10.1145\/1868294.1868300","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1942788.1868300","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,10,10]]},"assertion":[{"value":"2010-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}