A Typed Calculus of Aspect-oriented Programs?
Radha Jagadeesan, Alan Jeffrey, James Riely · 2003
Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. In earlier work, we described an untyped calculus of aspect programs with a direct description of the dynamic semantics. This calculus provides a specification for the correctness of weaving. In this paper,