A Core Calculus for Type-safe Product Lines of C Programs

Ferruccio Damiani, Daisuke Kimura, Luca Paolini +1

In this paper we: (1) propose Lightweight C (LC), namely a core calculus that formalizes a proper subset of the ANSI C without preprocessor directives; (2) define Colored LC (CLC),…