Quantifying over dynamic properties of program execution

In a pointcut we want to fully specify the points in the exe-cution of a program at which an advice is to be executed. The pointcut languages of current aspect-oriented program-ming languages only provide limited support for specifying points in the execution that do not directly map to points in the program code. As a result, an aspect programmer has to implement logic to keep track of certain runtime properties manually. This logic is detached from the advice’s pointcut. In this paper, we identify two common patterns of dynamic properties on which advice rely. We present pointcut des-ignators that allow to declaratively specify the join points based on runtime properties in a pointcut and outline a pos-sible implementation. 1