Gradual typing allows programs to enjoy the benefits of both static typing and dynamic
typing. While it is often desirable to migrate a program from more dynamically-typed to more …

Feature-oriented software design is a useful paradigm for building and reasoning about
highly-configurable software. By making variability explicit, feature-oriented tools and …

To let expressions evaluate to no or many objects, most object-oriented programming
languages require the use of special constructs that encode these cases as single objects or …

Gradual typing allows programmers to use both static and dynamic typing in a single
program. However, a well-known problem with sound gradual typing is that the interactions …

Incremental satisfiability (SAT) solving is an extension of classic SAT solving that allows
users to efficiently solve a set of related SAT problems by identifying and exploiting shared …

The choice calculus is a simple metalanguage and associated theory that has been
successfully applied to several problems of interest to the feature-oriented software …

Variation occurs in databases in many different forms and contexts. For example, a single
database schema evolves over time, data from different sources may be combined, and the …

Incremental satisfiability (SAT) solving is an extension of classic SAT solving that enables
solving a set of related SAT problems by identifying and exploiting shared terms. However …

Highly-configurable systems written in C form our most critical computing infrastructure. The
preprocessor is integral to C, because conditional compilation enables such systems to …

Programming with versions is a recent proposal that supports multiple versions of software
components in a program. Though it would provide greater freedom for the programmer, the …