Possibly Related Publications

The following publications are possibly variants of this publication:

• Type-Safe Feature-Oriented Product LinesSven Apel, Christian Kästner, Armin Gr{\"o}{\ss}linger, Christian Lengauer. Technical Report MIP-0909, 2009.
• A Machine-Checked Proof for a Product-Line-Aware Type SystemThomas Thüm. Master's thesis, University of Magdeburg, Germany, January 2010.
• Type-Checking Software Product Lines - A Formal ApproachChristian Kästner, Sven Apel. ASE 2008: 258-267 [doi]
• Language-independent reference checking in software product linesSven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner. GPCE 2010: 65-71 [doi]
• Type checking annotation-based product linesChristian Kästner, Sven Apel, Thomas Thüm, Gunter Saake. TOSEM, 21(3):14, 2012. [doi]
• Granularity in software product linesChristian Kästner, Sven Apel, Martin Kuhlemann. ICSE 2008: 311-320 [doi]