@article {99,
	title = {Forward Chaining in {HALO}: An Implementation Strategy for History-based Logic Pointcuts},
	journal = {Elsevier International Journal on Computer Languages, Systems {\&} Structures},
	volume = {35},
	year = {2009},
	month = {April},
	pages = {31{\~A}{\textcent}{\^a}{\quotesinglbase}{\textlnot}{\^a}{\texteuro}{\oe}47},
	abstract = {<p>In aspect-oriented programming, pointcuts are formulated as conditions over the context of dynamic events in the execution of a program. Hybrid pointcut languages also allow this context to come from interactions between the pointcut language and the base program. While some pointcut 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 pointcut 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. In this paper, we introduce a logic-based pointcut language that allows interaction with the base program as well as pointcuts over a history of join points. We introduce forward chaining as an implementation model for this language, and discuss possible optimization strategies for the additional overhead.</p>},
	keywords = {aop, forward chaining, halo, lmp, logic meta programming, rete, temporal logic},
	author = {Herzeel, Charlotte and Kris Gybels and Costanza, Pascal and Coen De Roover and Theo D{\textquoteright}Hondt}
}
@conference {95,
	title = {{Fact Spaces}: Coordination in the Face of Disconnection},
	booktitle = {Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
	year = {2007},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-540-72793-4},
	author = {Stijn Mostinckx and Christophe Scholliers and Eline Philips and Herzeel, Charlotte and Wolfgang De Meuter},
	editor = {Murphy, Amy L. and Vitek, Jan}
}
