Forward Chaining in HALO: An Implementation Strategy for History-Based Logic Pointcuts

In aspect-oriented programming, point-cuts are formulated as conditions over the context of dynamic events in the execution of a program. Hybrid point-cut languages also allow this context to come from interactions between the point-cut language and the base program. While some point-cut languages only allow conditions on the current execution event, more recent proposals have demonstrated the need for expressing conditions over a history of join points. Such point-cut languages require means to balance the expressiveness of the language with the additional memory and runtime overhead caused by keeping a history of join point context data.