We present an experimental study showing that soft memory errors can lead to serious
security vulnerabilities in Java and. NET virtual machines, or in any system that relies on …

Modern software must evolve in response to changing conditions. In the most widely used
programming environments, code is static and cannot change at runtime. This poses …

We present an internal language with equivalent expressive power to Standard ML, and
discuss its formalization in LF and the machine-checked verification of its type safety in …

In order to study rigorously object-oriented languages such as Java or C#, a common
practice is to define lightweight fragments, or calculi, which are sufficiently small to facilitate …

Finite state machine-based abstractions of software behaviour are popular because they
can be used as the basis for a wide range of (semi-) automated verification and validation …

A software product line (SPL) is an efficient means to generate a family of program variants
for a domain from a single code base. However, because of the potentially high number of …

Bedingte Kompilierung ist ein einfaches und häufig benutztes Mittel zur Implementierung
von Variabilität in Softwareproduktlinien, welches aber aufgrund negativer Auswirkungen …

The paper presents the essential features of a new member of the UML language family that
supports working with object-oriented frameworks. This UML extension, called UML-F …

In this paper we investigate the addition of first-class relationships to a prototypical object-
oriented programming language (a “middleweight” fragment of Java). We provide language …

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 …