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:scope:levels [2012/03/23 17:37] – etanterresearch:scope:levels [2015/08/31 02:47] (current) – etanter
Line 1: Line 1:
 +====== Execution Levels for Aspect-Oriented Programming ======
  
 +Papers:
 +  * {{bib>tanterAl-scp2014|Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications}} (SCP 2014)
 +  * {{bib>tanter-aosd2010|Execution Levels for Aspect-Oriented Programming}} (AOSD 2010)
 +
 +Artefacts:
 +  * {{:research:scope:lascheme-redex.zip|Mechanized semantics (PLT Redex)}}
 +  * {{:research:scope:lascheme.zip|LAScheme}}
 +  * [[http://tinyurl.com/3sz388h|Manual inspection]] of AspectJ in Action (1st ed.)
 +  * [[http://tinyurl.com/7jb6py5|Manual inspection]] of 23 AspectJ projects
 +  * [[research:scope:levels:iiia-loops|IIIA loops examples]]
 +  * [[research:scope:levels:classpects-loops|Classpects loop example]]
 +  * Levels and exceptions: 
 +      * {{:research:scope:lascheme-exceptions-redex.zip|extended Redex model}}
 +      * {{:research:scope:lascheme-exceptions_.zip|LAScheme with level-aware exceptions}}
 +      * {{:research:scope:lascheme-lang-exceptions-contract.zip|Racket with level-aware contract system}}
 +      * [[http://dx.doi.org/10.1145/1960510.1960513|FOAL 2011 paper]]
 +
 +Full list of changes and additions between the SCP and AOSD version:
 +      * study of AspectJ in Action and of a [[https://sites.google.com/site/pointcutrejuvenation/links/benchmarks|corpus of 23 AspectJ projects]] (6)
 +      * fixes in the semantics, and formulation and proof of the "aspect loop free" property (7 + Appendix)
 +      * section on execution levels in practice (8), discussing implementations for Scheme, Java, and JavaScript, and their applications
 +      * minor details, reformulations, restructuring, additions to related work (discussion of IIIA loops), etc.
 +
 +Related projects (maintained by others):
 +  * [[http://soft.vub.ac.be/~cfscholl/index.php?page=computational_contracts|Computational contracts for Racket]]
 +  * [[http://pleiad.cl/aspectscript|AspectScript]]
 +  * [[http://www.inf.usi.ch/phd/moret/projects.html|MAJOR2]]