• Publications
  • Influence
Delta-Oriented Programming of Software Product Lines
TLDR
We propose delta-oriented programming (DOP) as a novel programming language approach for implementing software product lines by composition of feature modules. Expand
  • 340
  • 25
  • PDF
Fickle : Dynamic Object Re-classification
Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative,Expand
  • 105
  • 8
DeltaJ 1.5: delta-oriented programming for Java 1.5
TLDR
Delta-oriented programming (DOP) is a modular, yet flexible approach to implement software product lines. Expand
  • 46
  • 6
  • PDF
Pure delta-oriented programming
TLDR
In this paper, we propose pure delta-oriented programming (Pure DOP) that is a conceptual simplification of traditional DOP. Expand
  • 61
  • 5
  • PDF
Polymorphic bytecode: compositional compilation for Java-like languages
TLDR
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries,and link together fragments whose mutual assumptions are satisfied, without reinspecting the code.We propose a polymorphic form of bytecode containing type variables (ranging over class names) and equipped with a set of constraints. Expand
  • 63
  • 4
  • PDF
Implementing software product lines using traits
TLDR
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. Expand
  • 48
  • 3
  • PDF
Dynamic delta-oriented programming
TLDR
We present dynamic DOP, an extension of Delta-oriented programming that supports changing the feature configuration of a product at runtime. Expand
  • 41
  • 3
Stochastic Calculus of Wrapped Compartments
TLDR
We define a stochastic semantics for the Calculus of Wrapped Compartments (CWC) for the analysis of biological systems. Expand
  • 29
  • 3
  • PDF
Type-Based Useless-Code Elimination for Functional Programs
TLDR
A survey of the work on type-based useless-code elimination for higher-order functional programs. Expand
  • 17
  • 3
A provenly correct translation of Fickle into Java
TLDR
We present a translation from Fickle, a small object-oriented language allowing objects to change their class at runtime, into Java. Expand
  • 11
  • 3
  • PDF
...
1
2
3
4
5
...