abc: The AspectBench Compiler for AspectJ
Abstract elided by the publisher.
Related papers
- Extending AspectJ for separating regions GPCE 2009
- Adding trace matching with free variables to AspectJ OOPSLA 2005
- Abstracting C with abC CAV 2002
- ABC: An Academic Industrial-Strength Verification Tool CAV 2010
- Dynamic AspectJ DLS 2008
- Measuring the dynamic behaviour of AspectJ programs OOPSLA 2004
- Transactional pointcuts: designation reification and advice of interrelated join points GPCE 2009
- Declarative, formal, and extensible syntax definition for aspectJ OOPSLA 2006