Execution Levels

This page contains links to the accompanying material of the paper “Execution Levels for Aspect-Oriented Programming”, currently under revision.

Previous publication on which the paper is based:

• AOSD 2010 paper
• best paper award

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 changes and additions:

• study of AspectJ in Action and of a 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):

• Computational contracts for Racket
• AspectScript
• MAJOR2

Updated March 23th, 2012