| | |
Summary: Language-Independent Reference Checking
in Software Product Lines
Sven Apel, Wolfgang Scholz, and Christian Lengauer
University of Passau, Germany
{apel, scholz, lengauer}@fim.uni-passau.de
Christian Kästner
Philipps University Marburg, Germany
kaestner@informatik.uni-marburg.de
ABSTRACT
Feature-Oriented Software Development (FOSD) is a para-
digm for the development of software product lines. A chal-
lenge in FOSD is to guarantee that all software systems of
a software product line are correct. Recent work on type
checking product lines can provide a guarantee of type cor-
rectness without generating all possible systems. We gen-
eralize previous results by abstracting from the specifics of
particular programming languages. In a first attempt, we
present a reference-checking algorithm that performs key
tasks of product-line type checking independently of the tar-
get programming language. Experiments with two sample
|
