Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


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

  

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

 

Collections: Computer Technologies and Information Sciences