MAO: Ownership and Effects for More Effective Reasoning About Aspects Export

@incollection{citeulike:3839615, abstract = {Abstract. 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.}, author = {Clifton, Curtis and Leavens, Gary and Noble, James}, citeulike-article-id = {3839615}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-73589-2_22}, citeulike-linkout-1 = {http://www.springerlink.com/content/4743108v425u7118}, doi = {10.1007/978-3-540-73589-2_22}, journal = {ECOOP 2007 – Object-Oriented Programming}, keywords = {aspects, concern, domains, reasoning}, pages = {451--475}, posted-at = {2009-01-01 00:54:18}, priority = {4}, title = {MAO: Ownership and Effects for More Effective Reasoning About Aspects}, url = {http://dx.doi.org/10.1007/978-3-540-73589-2_22}, year = {2007} }

TY - CHAP ID - citeulike:3839615 L3 - citeulike-article-id:3839615 N2 - Abstract. 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. JF - ECOOP 2007 – Object-Oriented Programming EP - 475 TI - MAO: Ownership and Effects for More Effective Reasoning About Aspects SP - 451 KW - aspects KW - concern KW - domains KW - reasoning AU - Clifton, Curtis AU - Leavens, Gary AU - Noble, James PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-73589-2_22 ER -