{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:04:05Z","timestamp":1774602245005,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"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"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ScalPL 203099"],"award-info":[{"award-number":["ScalPL 203099"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,10]]},"DOI":"10.1145\/1868688.1868693","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"25-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["TypeChef"],"prefix":"10.1145","author":[{"given":"Andy","family":"Kenner","sequence":"first","affiliation":[{"name":"Metop Research GmbH, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[{"name":"Philipps University Marburg, Marburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Haase","sequence":"additional","affiliation":[{"name":"Metop Research GmbH, Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Leich","sequence":"additional","affiliation":[{"name":"Metop Research GmbH, Magdeburg, 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.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/827253.827741"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837146"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316183"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_9_1","first-page":"29","volume-title":"Understanding-In-The-Large. In Proc. Int'l Workshop on Program Comprehension","author":"Favre J.-M.","unstructured":"J.-M. Favre . Understanding-In-The-Large. In Proc. Int'l Workshop on Program Comprehension , page 29 . 1997. J.-M. Favre. Understanding-In-The-Large. In Proc. Int'l Workshop on Program Comprehension, page 29. 1997."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2003.1238028"},{"key":"e_1_3_2_1_11_1","first-page":"161","volume-title":"Proc. Int'l Software Product Line Conference (SPLC)","author":"Ganesan D.","year":"2009","unstructured":"D. Ganesan , M. Lindvall , C. Ackermann , D. McComas , and M. Bartholomew . Verifying Architectural Design Rules of the Flight Software Product Line . In Proc. Int'l Software Product Line Conference (SPLC) , pages 161 -- 170 . 2009 . D. Ganesan, M. Lindvall, C. Ackermann, D. McComas, and M. Bartholomew. Verifying Architectural Design Rules of the Flight Software Product Line. In Proc. Int'l Software Product Line Conference (SPLC), pages 161--170. 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.23"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_15_1","first-page":"196","volume-title":"Proc. Int'l Conf. Software Maintenance (ICSM)","author":"Hu Y.","year":"2000","unstructured":"Y. Hu , E. Merlo , M. Dagenais , and B. Lagu\u00eb . C\/C++ Conditional Compilation Analysis using Symbolic Execution . In Proc. Int'l Conf. Software Maintenance (ICSM) , pages 196 -- 206 . 2000 . Y. Hu, E. Merlo, M. Dagenais, and B. Lagu\u00eb. C\/C++ Conditional Compilation Analysis using Symbolic Execution. In Proc. Int'l Conf. Software Maintenance (ICSM), pages 196--206. 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218584"},{"key":"e_1_3_2_1_17_1","volume-title":"Programming Languages---C","author":"International Organization for Standardization. ISO\/IEC 9899--1999","year":"1999","unstructured":"International Organization for Standardization. ISO\/IEC 9899--1999 : Programming Languages---C , 1999 . International Organization for Standardization. ISO\/IEC 9899--1999: Programming Languages---C, 1999."},{"key":"e_1_3_2_1_18_1","first-page":"101","volume-title":"Proc. Int'l Software Product Line Conference (SPLC)","author":"Jepsen H. P.","year":"2009","unstructured":"H. P. Jepsen and D. Beuche . Running a Software Product Line -- Standing Still is Going Backwards . In Proc. Int'l Software Product Line Conference (SPLC) , pages 101 -- 110 . 2009 . H. P. Jepsen and D. Beuche. Running a Software Product Line -- Standing Still is Going Backwards. In Proc. Int'l Software Product Line Conference (SPLC), pages 101--110. 2009."},{"key":"e_1_3_2_1_20_1","volume-title":"University of Magdeburg","author":"K\u00e4stner C.","year":"2010","unstructured":"C. K\u00e4stner . Virtual Separation of Concerns. PhD thesis , University of Magdeburg , 2010 . C. K\u00e4stner. Virtual Separation of Concerns. PhD thesis, University of Magdeburg, 2010."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.36"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02571-6_11"},{"key":"e_1_3_2_1_23_1","first-page":"165","volume-title":"Rewrite Systems for Symbolic Evaluation of C-like Preprocessing. In Proc. European Conf. on Software Maintenance and Reengineering (CSMR)","author":"Latendresse M.","year":"2004","unstructured":"M. Latendresse . Rewrite Systems for Symbolic Evaluation of C-like Preprocessing. In Proc. European Conf. on Software Maintenance and Reengineering (CSMR) , pages 165 -- 173 . 2004 . M. Latendresse. Rewrite Systems for Symbolic Evaluation of C-like Preprocessing. In Proc. European Conf. on Software Maintenance and Reengineering (CSMR), pages 165--173. 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081712"},{"key":"e_1_3_2_1_27_1","first-page":"231","volume-title":"Proc. Int'l Software Product Line Conference (SPLC)","author":"Mendon\u00e7a M.","year":"2009","unstructured":"M. Mendon\u00e7a , A. W\u0105sowski , and K. Czarnecki . SAT-based Analysis of Feature Models is Easy . In Proc. Int'l Software Product Line Conference (SPLC) , pages 231 -- 240 . 2009 . M. Mendon\u00e7a, A. W\u0105sowski, and K. Czarnecki. SAT-based Analysis of Feature Models is Easy. In Proc. Int'l Software Product Line Conference (SPLC), pages 231--240. 2009."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_9"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645545.853276"},{"key":"e_1_3_2_1_30_1","first-page":"285","volume-title":"Proc. Int'l Software Product Line Conference (SPLC)","author":"Pech D.","year":"2009","unstructured":"D. Pech , J. Knodel , R. Carbon , C. Schitter , and D. Hein . Variability Management in Small Development Organizations -- Experiences and Lessons Learned from a Case Study . In Proc. Int'l Software Product Line Conference (SPLC) , pages 285 -- 294 . 2009 . D. Pech, J. Knodel, R. Carbon, C. Schitter, and D. Hein. Variability Management in Small Development Organizations -- Experiences and Lessons Learned from a Case Study. In Proc. Int'l Software Product Line Conference (SPLC), pages 285--294. 2009."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. Int'l Software Product Line Conference (SPLC)","author":"Refstrup J. G.","year":"2009","unstructured":"J. G. Refstrup . Adapting to Change: Architecture, Processes and Tools: A Closer Look at HP's Experience in Evolving the Owen Software Product Line . In Proc. Int'l Software Product Line Conference (SPLC) , 2009 . Keynote presentation. J. G. Refstrup. Adapting to Change: Architecture, Processes and Tools: A Closer Look at HP's Experience in Evolving the Owen Software Product Line. In Proc. Int'l Software Product Line Conference (SPLC), 2009. Keynote presentation."},{"key":"e_1_3_2_1_33_1","first-page":"45","volume-title":"Proc. Int'l Workshop on Variability Modelling of Software-intensive Systems (VaMoS)","author":"She S.","year":"2010","unstructured":"S. She , R. Lotufo , T. Berger , A. W\u0105sowski , and K. Czarnecki . The Variability Model of The Linux Kernel . In Proc. Int'l Workshop on Variability Modelling of Software-intensive Systems (VaMoS) , pages 45 -- 51 . 2010 . S. She, R. Lotufo, T. Berger, A. W\u0105sowski, and K. Czarnecki. The Variability Model of The Linux Kernel. In Proc. Int'l Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 45--51. 2010."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868300"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629716.1629732"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/872754.873566"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155105"}],"event":{"name":"FOSD '10: 2nd International Workshop on Feature-Oriented Software Development","location":"Eindhoven The Netherlands","acronym":"FOSD '10","sponsor":["Metop GmbH"]},"container-title":["Proceedings of the 2nd International Workshop on Feature-Oriented Software Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868688.1868693","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868688.1868693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:30Z","timestamp":1750248510000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868688.1868693"}},"subtitle":["toward type checking #ifdef variability in C"],"short-title":[],"issued":{"date-parts":[[2010,10,10]]},"references-count":36,"alternative-id":["10.1145\/1868688.1868693","10.1145\/1868688"],"URL":"https:\/\/doi.org\/10.1145\/1868688.1868693","relation":{},"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"}}]}}