An aspect observes the execution of a base program; when certain actions occur, the aspect
runs some extra code of its own. In the AspectJ language, the observations that an aspect …

Research in the design of aspect-oriented programming languages requires a workbench
that facilitates easy experimentation with new language features and implementation …

Aspect-Oriented Programming promises separation of concerns at the implementation level.
However, aspects are not always orrthogonal and aspect interaction is a fundamental …

Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct
mechanisms for separation of concerns. II languages have explicitly announced events that …

Generic categories of aspects are described, and their potential value is explained. For
some categories, broad classes of syntactically identifiable temporal properties, such as …

Context-aware applications behave differently depending on the context in which they are
running. Since context-specific behavior tends to crosscut base programs, it can …

Aspects have been successfully promoted as a means to improve the modularization of
software in the presence of crosscutting concerns. The socalled aspect interference problem …

We introduce SCIO*, a formally secure compilation framework for statically verified programs
performing input-output (IO). The source language is an F* subset in which a verified …

Aspects that trigger on a sequence of join points instead of on a single join point are not
explicitly supported in current Aspect-Oriented approaches. Explicit protocols are however …

In addition to publishing composite services as reusable services, compositions can also be
reused by applying them to orchestrate different component services. To do so, it is …