The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …

Several recent studies have introduced lightweight versions of Java: reduced languages in
which complex features like threads and reflection are dropped to enable rigorous …

Several recent studies have introduced lightweight versions of Java: reduced languages in
which complex features like threads and reflection are dropped to enable rigorous …

We present Jiazzi, a system that enables the construction of large-scale binary components
in Java. Jiazzi components can be thought of as generalizations of Java packages with …

We present CMS, a simple and powerful calculus of modules supporting mutual recursion
and higher order features, which can be instantiated over an arbitrary core calculus …

Java has no module system. Its packages only subdivide the class name space, allowing
only a very limited form of component-level information hiding and reuse. Two Java …

In this paper we present Jam, an extension of the Java language supporting mixins, that is,
parametric heir classes. A mixin declaration in Jam is similar to a Java heir class declaration …

Regular types have been proposed as a foundation for statically typed processing of XML
and other forms of tree-structured data. To date, however, regular types have only been …

We present FJ& λ, a new core calculus that extends Featherweight Java (FJ) with interfaces,
supporting multiple inheritance in a restricted form, λ-expressions, and intersection types …

Modular design is a desirable characteristic of complex software systems that can
significantly improve their comprehensibility, maintainability and thus quality. While many …