View in EDS

Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning

Saved in:

Bibliographic Details
Title:	Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning
Authors:	Clifton, Curtis, Leavens, Gary
Contributors:	Computer Science
Source:	archive/lib.dr.iastate.edu/cs_techreports/328/tr02_04.pdf\|\|\|Fri Jan 14 23:36:48 UTC 2022
Publication Year:	2002
Collection:	Digital Repository @ Iowa State University
Subject Terms:	Programming Languages and Compilers, Observers, assistants, aspect-oriented programming languages, modular reasoning, specification, composition, AspectJ language, Java language, JML language, MultiJava language
Description:	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.
Document Type:	article in journal/newspaper
File Description:	application/pdf
Language:	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
Availability:	https://dr.lib.iastate.edu/handle/20.500.12876/20158 https://hdl.handle.net/20.500.12876/20158
Accession Number:	edsbas.6EF2D548
Database:	BASE

Description
Abstract:	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.