Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning
Uložené v:
| Názov: | Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning |
|---|---|
| Autori: | Clifton, Curtis, Leavens, Gary |
| Prispievatelia: | Computer Science |
| Zdroj: | archive/lib.dr.iastate.edu/cs_techreports/328/tr02_04.pdf|||Fri Jan 14 23:36:48 UTC 2022 |
| Rok vydania: | 2002 |
| Zbierka: | Digital Repository @ Iowa State University |
| Predmety: | Programming Languages and Compilers, Observers, assistants, aspect-oriented programming languages, modular reasoning, specification, composition, AspectJ language, Java language, JML language, MultiJava language |
| Popis: | In general, aspect-oriented programs require a whole-program analysis to understand the semantics of a single method invocation. This property makes 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 analysis and makes code easier to understand and maintain. ; Copyright © Curtis Clifton and Gary T. Leavens, 2002. All rights reserved. |
| Druh dokumentu: | article in journal/newspaper |
| Popis súboru: | application/pdf |
| Jazyk: | unknown |
| Relation: | archive/lib.dr.iastate.edu/cs_techreports/328/; 1307; 5539884; cs_techreports/328; https://dr.lib.iastate.edu/handle/20.500.12876/20158 |
| Dostupnosť: | https://dr.lib.iastate.edu/handle/20.500.12876/20158 https://hdl.handle.net/20.500.12876/20158 |
| Prístupové číslo: | edsbas.6EF2D548 |
| Databáza: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | In general, aspect-oriented programs require a whole-program analysis to understand the semantics of a single method invocation. This property makes 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 analysis and makes code easier to understand and maintain. ; Copyright © Curtis Clifton and Gary T. Leavens, 2002. All rights reserved. |
|---|