{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:39Z","timestamp":1772164059518,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,27]],"date-time":"2013-10-27T00:00:00Z","timestamp":1382832000000},"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":[[2013,10,27]]},"DOI":"10.1145\/2517208.2517213","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"115-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["A comparison of product-based, feature-based, and family-based type checking"],"prefix":"10.1145","author":[{"given":"Sergiy","family":"Kolesnikov","sequence":"first","affiliation":[{"name":"University of Passau, Passau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"von Rhein","sequence":"additional","affiliation":[{"name":"University of Passau, Passau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Hunsen","sequence":"additional","affiliation":[{"name":"University of Passau, Passau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[{"name":"University of Passau, Passau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985851"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1745312.1745316"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.120"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486852"},{"issue":"2","key":"e_1_3_2_1_8_1","first-page":"77","volume":"50","author":"Bettini L.","year":"2013","unstructured":"L. Bettini , F. Damiani , and I. Schaefer . Compositional Type Checking of Delta-oriented Software Product Lines. Acta Informatica , 50 ( 2 ): 77 -- 122 , 2013 . L. Bettini, F. Damiani, and I. Schaefer. Compositional Type Checking of Delta-oriented Software Product Lines. Acta Informatica, 50 (2): 77--122, 2013.","journal-title":"Compositional Type Checking of Delta-oriented Software Product Lines. Acta Informatica"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_10_1","first-page":"73","volume":"10","author":"Brabrand C.","year":"2013","unstructured":"C. Brabrand , M. Ribeiro , T. Tol\u00eado , J. Winther , and P. Borba . Intraprocedural Dataflow Analysis for Software Product Lines. Trans. on Aspect-Oriented Software Development , 10 : 73 -- 108 , 2013 . C. Brabrand, M. Ribeiro, T. Tol\u00eado, J. Winther, and P. Borba. Intraprocedural Dataflow Analysis for Software Product Lines. Trans. on Aspect-Oriented Software Development, 10: 73--108, 2013.","journal-title":"Intraprocedural Dataflow Analysis for Software Product Lines. Trans. on Aspect-Oriented Software Development"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_12_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P.","year":"2001","unstructured":"P. Clements and L. Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley , 2001 . P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337302"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595733"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587066"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0075-7"},{"key":"e_1_3_2_1_23_1","first-page":"196","volume-title":"Proc. SPLC, LNCS 6287","author":"Oster S.","year":"2010","unstructured":"S. Oster , F. Markert , and P. Ritter . Automated Incremental Pairwise Testing of Software Product Lines . In Proc. SPLC, LNCS 6287 , pages 196 -- 210 . Springer , 2010 . S. Oster, F. Markert, and P. Ritter. Automated Incremental Pairwise Testing of Software Product Lines. In Proc. SPLC, LNCS 6287, pages 196--210. Springer, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337243"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.020"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517208.2517209"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581447"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371404"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430522"}],"event":{"name":"GPCE'13: Generative Programming: Concepts and Experiences","location":"Indianapolis Indiana USA","acronym":"GPCE'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 12th international conference on Generative programming: concepts & experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517208.2517213","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2517208.2517213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:40Z","timestamp":1750217320000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517208.2517213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,27]]},"references-count":31,"alternative-id":["10.1145\/2517208.2517213","10.1145\/2517208"],"URL":"https:\/\/doi.org\/10.1145\/2517208.2517213","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2637365.2517213","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,27]]},"assertion":[{"value":"2013-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}