Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Type-checking Software Product Lines A Formal Approach

Summary: Type-checking Software Product Lines ­
A Formal Approach
Christian Kästner
School of Computer Science
University of Magdeburg
39106 Magdeburg, Germany
Sven Apel
Dept. of Informatics and Mathematics
University of Passau
94030 Passau, Germany
Abstract--A software product line (SPL) is an efficient means
to generate a family of program variants for a domain from
a single code base. However, because of the potentially high
number of possible program variants, it is difficult to test all
variants and ensure properties like type-safety for the entire SPL.
While first steps to type-check an entire SPL have been taken,
they are informal and incomplete. In this paper, we extend the
Featherweight Java (FJ) calculus with feature annotations to be


Source: Apel, Sven - Fakultät für Informatik und Mathematik, Universität Passau


Collections: Computer Technologies and Information Sciences