Type-Checking Software Product Lines - A Formal Approach

Christian Kästner, Sven Apel. Type-Checking Software Product Lines - A Formal Approach. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy. pages 258-267, IEEE, 2008. [doi]

Abstract

Abstract is missing.