A Calculus of Untyped Aspect-Oriented Programs

13 years 9 months ago

Download www.asaj.org

Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspects is typically speciﬁed by appealing to an underlying object-oriented language via a compiler transformation known as weaving. This treatment is unsatisfactory for several reasons. Firstly, this semantics violates basic modularity principles of object-oriented programming. Secondly, the converse translation from object-oriented programs into an aspect language has a simple canonical ﬂavor. Taken together, these observations suggest that aspects hy of study as primitive computational abstractions in their own right. In this paper, we describe an aspect calculus and its operational semantics. The calculus is rich enough to encompass many of the features of extant aspect-oriented frameworks that do not involve reﬂection. The independent description of the dynamic semantics of aspects enables us to specif...

Radha Jagadeesan, Alan Jeffrey, James Riely

Real-time Traffic