Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
research:cri [2013/10/12 20:54] – ifigueroresearch:cri [2014/02/13 17:19] (current) – ifiguero
Line 1: Line 1:
 ====== Compositional Reasoning About Aspect Interference ======  ====== Compositional Reasoning About Aspect Interference ====== 
  
-Authors: Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau and Éric tanter+Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau and Éric tanter
  
-Abstract:+Accepted for publication at Modularity 2014.
  
-"Oliveira and colleagues recently developed a powerful model to+**Abstract** 
 + 
 +Oliveira and colleagues recently developed a powerful model to
 reason about mixin-based composition of effectful components and reason about mixin-based composition of effectful components and
 their interference, exploiting a wide variety of techniques such as their interference, exploiting a wide variety of techniques such as
Line 20: Line 22:
 harmlessness, can be proven by a translation to the mixin setting, harmlessness, can be proven by a translation to the mixin setting,
 making it possible to directly exploit previously established results about making it possible to directly exploit previously established results about
-certain kinds of harmless extensions."+certain kinds of harmless extensions. 
 + 
 +**Artefacts**
  
-  * The companion technical report can be download {{research:software:effectiveaspects-taosd.zip|here}}. +  * {{research:software:cri:TR.pdf|Companion technical report (TR/DCC-2013-8)}} (includes a 2-page appendix with the missing proofs)  
-  * The code of the paper and the implementation of the model can be downloaded {{research:software:effectiveaspects-taosd.zip|here}}. We tested the software using  Glasgow Haskell Compiler, GHC.+  * {{research:software:cri:CRI.zip|Code of the paper}} (tested with GHC)