| | |
Summary: Feature Featherweight Java: A Calculus for
Feature-Oriented Programming and Stepwise Refinement
Sven Apel
Dept. of Informatics and Mathematics
University of Passau, Germany
apel@uni-passau.de
Christian Kästner
School of Computer Science
University of Magdeburg, Germany
ckaestne@ovgu.de
Christian Lengauer
Dept. of Informatics and Mathematics
University of Passau, Germany
lengauer@uni-passau.de
Abstract
Feature-oriented programming (FOP) is a paradigm that incorpo-
rates programming language technology, program generation tech-
niques, and stepwise refinement. In their GPCE'07 paper, Thaker
et al. suggest the development of a type system for FOP to guaran-
tee safe feature composition, i.e, to guarantee the absence of type
|
