Differences

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

--- research:scope:levels [2011/10/24 12:09] – etanter
+++ research:scope:levels [2015/08/30 23:47] – 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, extended)
+  * {{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]]