Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy Export

@techreport{citeulike:3874610, abstract = {The obliviousness property of AspectJ conflicts with the ability to reason about an AspectJ program in a modular fashion. This makes debugging and maintenance difficult. In object-oriented programming, the discipline of behavioral subtyping allows one to reason about programs modularly, despite the somewhat oblivious nature of dynamic binding; however, it is not clear what discipline would help AspectJ programmers obtain modular reasoning. We describe this problem in detail, and sketch a solution that allows programmers to tell both ” superimposition” and ” evolution” stories in their AspectJ programs.}, author = {Clifton, Curtis and Leavens, Gary T.}, citeulike-article-id = {3874610}, citeulike-linkout-0 = {ftp://ftp.cs.iastate.edu/pub/techreports/TR03-01/TR.pdf}, keywords = {aspect, oriented, reasoning}, posted-at = {2009-01-11 20:53:29}, priority = {2}, title = {Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy}, url = {ftp://ftp.cs.iastate.edu/pub/techreports/TR03-01/TR.pdf} }

TY - RPRT ID - citeulike:3874610 L3 - citeulike-article-id:3874610 N2 - The obliviousness property of AspectJ conflicts with the ability to reason about an AspectJ program in a modular fashion. This makes debugging and maintenance difficult. In object-oriented programming, the discipline of behavioral subtyping allows one to reason about programs modularly, despite the somewhat oblivious nature of dynamic binding; however, it is not clear what discipline would help AspectJ programmers obtain modular reasoning. We describe this problem in detail, and sketch a solution that allows programmers to tell both “superimposition” and “evolution” stories in their AspectJ programs. TI - Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy KW - aspect KW - oriented KW - reasoning AU - Clifton, Curtis AU - Leavens, Gary UR - ftp://ftp.cs.iastate.edu/pub/techreports/TR03-01/TR.pdf ER -