Call and Execution Semantics in AspectJ
Ohad Barzilay, Shmuel S. Tyszberowicz, Yishai Feldman, Efi Arazi, Amiram Yehudai · 2004
The Aspect-Oriented Programming methodology provides a means of encapsulation of crosscuting concerns in software. AspectJ is a general-purpose aspect-oriented programming language that extends Java. This paper investigates the semantics of call and execution pointcuts in AspectJ, and their interaction with inheritance. We present a semantic model manifested by the current (1.1.1) release of AspectJ, point out its shortcomings, and present alternative models. Categories and Subject Descriptors D.3.2 [Programming Languages]: Language Classifications ---Object-oriented languages ; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages ---Operational semantics General Terms Languages Keywords Aspect-oriented programming, AspectJ 1.