A Temporal Logic Language for Context Awareness in Pointcuts
Charlotte Herzeel, Kris Gybels, Pascal Costanza · 2006
Aspects based on join points that occurred in the execution history of a program provide a powerful way to make applications aware of their context. We present HALO, a logic metaprogramming ap-proach based on temporal logic, that is designed with context-awareness in mind. A number of illus-trative examples demonstrate HALO’s expressivity, including expressions about past events which con-tain variables only bound in their future. 1