PLEIAD research:scope
http://pleiad.cl/
2026-04-27T20:57:02+00:00
PLEIAD
http://pleiad.cl/
http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico
-
text/html
2015-08-31T02:47:49+00:00
Anonymous (anonymous@undisclosed.example.com)
research:scope:levels
http://pleiad.cl/research/scope/levels
Execution Levels for Aspect-Oriented Programming
Papers:
* (SCP 2014)
* (AOSD 2010)
Artefacts:
* [Mechanized semantics (PLT Redex)]
* [LAScheme]
* Manual inspection of AspectJ in Action (1st ed.)
* Manual inspection of 23 AspectJ projects
* IIIA loops examples
* Classpects loop example
* Levels and exceptions:
* [extended Redex model]
* [LAScheme with level-aware exceptions]
* [Racket with level-aware contract system]
* FOAL 2011 paper
Full list of chan…