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
Last revisionBoth sides next revision
research:cri [2013/10/12 17:40] – ifigueroresearch:cri [2013/10/12 21:38] – etanter
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:+Submitted to 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 the [[http://hackage.haskell.org/platform/|Haskell Platform]] version 2012.2.0.0. Consequently, we used the Glasgow Haskell Compiler, GHC.+  * {{research:software:cri:CRI.zip|Code of the paper}} (tested with GHC)