Sciweavers

SAIG
2001
Springer
13 years 11 months ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
Mitchell Wand
SIGSOFT
2004
ACM
14 years 24 days ago
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 veri...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
APLAS
2004
ACM
14 years 24 days ago
Pointcuts as Functional Queries
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
Michael Eichberg, Mira Mezini, Klaus Ostermann