MAO: Ownership and Effects for more Effective Reasoning about Aspects

dc.contributor.author Clifton, Curtis
dc.contributor.author Leavens, Gary
dc.contributor.author Noble, James
dc.contributor.department Computer Science
dc.date 2018-02-14T00:32:16.000
dc.date.accessioned 2020-06-30T01:56:35Z
dc.date.available 2020-06-30T01:56:35Z
dc.date.issued 2007-04-01
dc.description.abstract <p>Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant of AspectJ, demonstrates how to simplify reasoning by allowing programmers, if they choose, to declare limits on the control and heap effects of advice. Heap effects, such as assignment to object fields, are specified using concern domains--declared partitions of the heap. By declaring the concern domains affected by methods and advice, programmers can separate objects owned by the base program and by various aspects. When desired, programmers can also use such concern domain annotations to check that advice cannot interfere with the base program or with other aspects. Besides allowing programmers to declare how concerns interact in a program, concern domains also support a simple kind of semantic pointcut. These features make reasoning about control and heap effects easier.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/306/
dc.identifier.articleid 1301
dc.identifier.contextkey 5497665
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/306
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20135
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/306/TR.pdf|||Fri Jan 14 23:29:04 UTC 2022
dc.subject.disciplines Programming Languages and Compilers
dc.subject.disciplines Software Engineering
dc.subject.keywords Aspect-oriented programming
dc.subject.keywords ownership
dc.subject.keywords concern domain
dc.subject.keywords control effects
dc.subject.keywords heap effects
dc.subject.keywords heap effect dependency
dc.subject.keywords writes
dc.subject.keywords curbing
dc.subject.keywords spectator
dc.subject.keywords AspectJ language
dc.subject.keywords MAO language
dc.title MAO: Ownership and Effects for more Effective Reasoning about Aspects
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
Name:
TR.pdf
Size:
261.48 KB
Format:
Adobe Portable Document Format
Description:
Collections