Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
research:software:haskellaop [2013/01/03 17:40] – ifiguero | research:software:haskellaop [2013/06/14 13:30] – removed ifiguero | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== A Typed Monadic Embedding of Aspects ====== | ||
- | We developed a novel approach to embed pointcut/ | ||
- | |||
- | ====== Source Code ====== | ||
- | |||
- | ===== Original code from AOSD 2013 ===== | ||
- | The original source of the AOSD 2013 paper can be downloaded {{: | ||
- | |||
- | ===== Taming Aspects with Monads and Membranes ===== | ||
- | The source of our FOAL 2013 submission can be downloaded here. This is an updated revision of the previous code with programmable membranes semantics for aspect-oriented programming. See the included README and README-FOAL file for details. | ||
- | |||
- | ====== About the Code ====== | ||
- | |||
- | We tested the software in the [[http:// | ||
- | |||
- | The code depends on the following packages: | ||
- | * random | ||
- | * mtl | ||
- | * HUnit | ||
- | * QuickCheck | ||
- | * containers | ||
- | * haskell-src-meta | ||
- | * template-haskell | ||
- | * polytypeable | ||
- | * ghc-prim | ||
- | * fgl (functional graph library, for the membrane semantics) | ||
- | |||
- | Which can be installed using the [[http:// | ||
- | |||
- | We include the paper examples, and tests used during development. The main difference between the code in the paper and the source code are: | ||
- | |||
- | * deployment/ | ||
- | |||
- | * In file Function.hs we define tagged functions to provide a more robust notion of function equality. Join points, open function application, |