Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Language-Independent Reference Checking in Software Product Lines

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
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


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


Collections: Computer Technologies and Information Sciences