Interference of Larissa Aspects
David Stauch, Karine Altisen, Florence Maraninchi · 2006
Aspect Oriented Programming is a programming language concept for expressing cross-cutting concerns. A key point when dealing with aspects is the notion of interference. Applying several aspects to the same program may lead to unintended results because of conflicts between the aspects. In this paper, we study the notion of interference for Larissa, a formally defined language. Larissa is the aspect extension of Argos, a StateChart-like automata language designed to program reactive systems. We present a way to weave several aspects in a less conflict-prone manner, and a means to detect remaining conflicts statically, at a low complexity.