Skip to Main content Skip to Navigation
Journal articles

Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications

Éric Tanter 1 Ismael Figueroa 1, 2, 3 Nicolas Tabareau 2, 3
2 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : In aspect-oriented programming (AOP) languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all pointcuts in higher-order aspect languages like AspectScheme. While viewing aspects as part of base level computation clearly distinguishes AOP from reflection, it also comes at a price: because aspects observe base level computation, evaluating pointcuts and advice at the base level can trigger infinite regression. To avoid these pitfalls, aspect languages propose ad-hoc mechanisms, which increase the complexity for programmers while being insufficient in many cases. After shed- ding light on the many facets of the issue, this paper proposes to clarify the situation by introducing levels of execution in the programming language, thereby allowing aspects to observe and run at specific, possibly different, levels. We adopt a defensive default that avoids infinite regression, and gives advanced programmers the means to override this default using level-shifting operators. We then study execution levels both in practice and in theory. First, we study the relevance of the issues addressed by execution levels in existing aspect-oriented programs. We then formalize the semantics of execution levels and prove that the default semantics is indeed free of a certain form of infinite regression, which we call aspect loops. Finally, we report on existing implementations of execution levels for aspect-oriented extensions of Scheme, JavaScript and Java, discussing their implementation techniques and current applications.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00872786
Contributor : Nicolas Tabareau <>
Submitted on : Monday, October 14, 2013 - 2:17:58 PM
Last modification on : Tuesday, June 1, 2021 - 12:18:28 PM

Links full text

Identifiers

Citation

Éric Tanter, Ismael Figueroa, Nicolas Tabareau. Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications. Science of Computer Programming, Elsevier, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩. ⟨hal-00872786⟩

Share

Metrics

Record views

480