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 …

This text develops a comprehensive theory of programming languages based on type
systems and structural operational semantics. Language concepts are precisely defined by …

When separately written programs are composed so that they may cooperate, they may
instead destructively interfere in unanticipated ways. These hazards limit the scale and …

A thorough and accessible introduction to a range of key ideas in type systems for
programming language. The study of type systems for programming languages now touches …

Many important applications must run continuously and without interruption, yet must be
changed to fix bugs or upgrade functionality. No prior general-purpose methodology for …

Existing approaches to extend a programming language with syntactic sugar often leave a
bitter taste, because they cannot be used with the same ease as the main extension …

Feature oriented refactoring (FOR) is the process of decomposinga program into features,
where a feature is an increment in programfunctionality. We develop a theory of FOR that …

Today's software programs are bloating and have become extremely complex. As there is
typically no internal isolation among modules in a program, a vulnerability can be exploited …

A module system ought to enable assembly-line programming using separate compilation
and an expressive linking language. Separate compilation allows programmers to develop …

We believe that formal methods of all kinds are critical to mobile code security, as one route
to gaining the assurance level necessary for running potentially hostile code on a routine …