As aspect-oriented (AO) programming techniques become more widely used, their use in
critical systems such as aircraft and telephone networks, will become more widespread …

Separating crosscutting concerns while preserving modular reasoning is challenging. Type-
based interfaces (event types) separate modularized crosscutting concerns (observers) and …

The Implicit Invocation (II) architectural style improves modularity and is promoted by aspect-
oriented (AO) languages and design patterns like Observer. However, it makes modular …

Implicit invocation languages, like aspect-oriented languages, automate the Observer
pattern, which decouples subjects (base code) from handlers (advice), and then compound …

This tutorial will provide an introduction to Ptolemy. Ptolemy is a programming language
whose goals are to improve a software engineer's ability to separate conceptual concerns …

Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve
modular reasoning problems, but have not shown how to specify these interfaces to facilitate …

Modular reasoning and concurrent programming are both necessary for scalable
development of performant software. Modular reasoning improves scalability by allowing a …

Making assertions about the program's control flow is important for reasoning purposes, eg
ensuring that an advice proceeds to the original join point. Obliviousness of the base …

We propose Candoia, a novel platform and ecosystem for building and sharing Mining
Software Repositories (MSR) tools. Using Candoia, MSR tools are built as apps, and the …

ABSTRACT The Implicit Invocation (II) architectural style improves modularity and is
promoted by aspect-oriented (AO) languages and design patterns like Observer. However, it …