Specializing continuations a model for dynamic join points

Christopher J. Dutchyn
2007 Proceedings of the 6th workshop on Foundations of aspect-oriented languages - FOAL '07  
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dynamic join points develop in a principled and natural way as activations of continuation frames. Pointcuts arise directly in the semantic specification as predicates identifying continuation frames. Advice models procedures operating on continuations, specializing the behaviour of continuation frames. In this way, an
more » ... ntial form of AOP is seen, neither as meta-programming nor as an ad hoc extension, but as an intrinsic feature of programming languages.
doi:10.1145/1233833.1233840 dblp:conf/foal/Dutchyn06 fatcat:gxiaujnr4berrftuntekpubmky