Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		Previous revision
research:cri [2013/10/12 20:37] – created ifigueroresearch:cri [2014/02/13 17:19] (current) – ifiguero
Line 1: Line 1:
 ====== Compositional Reasoning About Aspect Interference ======  ====== 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 {{research:software:effectiveaspects-taosd.zip|here}}.+Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau and Éric tanter
  
-====== Code for our Modularity'14 submission ======+Accepted for publication at Modularity 2014.
  
-The paper code and the implementation of the model can be downloaded {{research:software:effectiveaspects-taosd.zip|here}}.+**Abstract**
  
-We tested the software using the [[http://hackage.haskell.org/platform/|Haskell Platform]] version 2012.2.0.0. Consequently, we used the Glasgow Haskell Compiler, GHC.+Oliveira and colleagues recently developed a powerful model to 
 +reason about mixin-based composition of effectful components and 
 +their interference, exploiting a wide variety of techniques such as 
 +equational reasoning, parametricity, and algebraic laws about 
 +monadic effects. This work addresses the issue of reasoning about 
 +interference with effectful aspects in the presence of unrestricted 
 +quantification through pointcuts. While global reasoning is 
 +required, we show that it is possible to reason in a compositional 
 +manner, which is key for the scalability of the approach in the face 
 +of large and evolving systems. We establish a general equivalence 
 +theorem that is based on a few conditions that can be 
 +established, reused, and adapted separately as the system 
 +evolves. Interestingly, one of these conditions, local 
 +harmlessness, can be proven by a translation to the mixin setting, 
 +making it possible to directly exploit previously established results about 
 +certain kinds of harmless extensions. 
 + 
 +**Artefacts** 
 + 
 +  * {{research:software:cri:TR.pdf|Companion technical report (TR/DCC-2013-8)}} (includes a 2-page appendix with the missing proofs)  
 +  * {{research:software:cri:CRI.zip|Code of the paper}} (tested with GHC)