Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs ∗ Invited Keynote Talk †

In previous work, we and others have studied how aspects can implement important cross-cutting concerns, such as runtime monitors, security monitors, and other security primitives. It is hard to design aspects that implement such concerns correctly. Therefore, once written, one desires to reuse the according aspect definitions for other systems. In current aspect-oriented systems, however, aspects usu-ally carry, through their pointcuts, explicit references to the base code. Those references are fragile and give up impor-tant software engineering properties such as modular rea-soning and independent evolution of aspects and base code, hence hindering aspect reuse. A well-studied solution to this problem is to separate base code and aspects using an inter-mediate interface abstraction