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.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, 80 (1), pp.311-342. 〈Elsevier〉. 〈10.1016/j.scico.2013.09.002〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00872786
Contributeur : Nicolas Tabareau <>
Soumis le : lundi 14 octobre 2013 - 14:17:58
Dernière modification le : mardi 16 janvier 2018 - 14:38:42

Identifiants

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. 〈Elsevier〉. 〈10.1016/j.scico.2013.09.002〉. 〈hal-00872786〉

Partager

Métriques

Consultations de la notice

241