Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning
| Author(s) : | Gary T. Leavens Curtis Clifton, |
| Publisher : | N/A |
| Publication Date : | 2002 |
| ISSN : | N/A |
| Abstract : | In general, aspect-oriented programs require a whole-program analysis to understand the semantics of a single method invocation. This property can make reasoning difficult, impeding maintenance efforts, contrary to a stated goal of aspect-oriented programming. We propose some simple modifications to AspectJ that permit modular reasoning. This eliminates the need for whole-program analy-sis and makes code easier to understand and maintain. 1., |