MIP-0802

Paper Description

BibTeX entry

@incollection{MIP-0802,
author="S. Apel, C. Kästner, C. Lengauer",
title="An Overview of Feature Featherweight Java",
institution="Fakult{\"a}t f{\"u}r Informatik und Mathematik, Universit{\"a}t Passau",
year=2008,
number={MIP-0802},
}

Abstract

Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, Thaker et al. suggest the development of a type system for FOP in order to guarantee safe feature composition. We present such a type system along with a calculus for a simple feature-oriented, Java-like language, called Feature Featherweight Java (FFJ). Furthermore, we explore several extensions of FFJ and how they affect type soundness.

Paper itself

MIP-0802.pdf