This is an old revision of the document!


Compositional Reasoning About Aspect Interference

This is the main page for our research on pointcut/advice model of aspect-oriented programming (AOP) in monadic setting. We have developed a Haskell AOP library that provides the full pointcut/advice model of AOP into a monadic setting. Read below for further details.

The companion technical report can be download here.

Code for our Modularity'14 submission

The paper code and the implementation of the model can be downloaded here.

We tested the software using the Haskell Platform version 2012.2.0.0. Consequently, we used the Glasgow Haskell Compiler, GHC.