Summary: Guaranteeing Syntactic Correctness for all Product Line
Variants: A Language-Independent Approach
Christian Kästner1
, Sven Apel2
, Salvador Trujillo3
, Martin Kuhlemann1
, and
Don Batory4
1
School of Computer Science, University of Magdeburg, ckaestne/mkuhlema@ovgu.de
2
Dept. of Informatics and Math., University of Passau, apel@uni-passau.de
3
IKERLAN Research Centre, Mondragon, Spain, STrujillo@ikerlan.es
4
Dept. of Computer Science, University of Texas at Austin, batory@cs.utexas.edu
Abstract. A software product line (SPL) is a family of related program variants in
a well-defined domain, generated from a set of features. A fundamental difference
from classical application development is that engineers develop not a single
program but a whole family with hundreds to millions of variants. This makes