Efficient control flow quantification

Aspect-oriented programming (AOP) is increasingly gaining in popularity. However, the focus of aspect-oriented language re-search has been mostly on language design issues; efficient im-plementation techniques have been less popular. As a result, the performance of certain AOP constructs is still poor. This is in par-ticular true for constructs that rely on dynamic properties of the execution (e. g., the cflow construct). In this paper, we present efficient implementation techniques for cflow that exploit direct access to internal structures of the virtual machine running an application, such as the call stack, as well as the integration of these techniques into the just-in-time compiler code generation process. Our results show that AOP has the potential to make programs that need to define control flow-dependent behavior not only more modular but also more efficient. By making means for control flow-dependent behavior part of the language, AOP opens the possibility of applying sophisticated compiler optimizations that are out of reach for application programmers