1 Verifying Aspect Advice Modularly


Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided verification. We present a technique for verifying aspect-oriented programs (expressed as state machines). Our technique assumes that the set of pointcut designators is known statically… (More)

5 Figures and Tables


  • Presentations referencing similar topics