Author of the publication

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

, , and . ECOOP, volume 4609 of Lecture Notes in Computer Science, page 451-475. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples., and . SPLAT, volume 217 of ACM International Conference Proceeding Series, page 6. ACM, (2007)MiniMAO: An imperative core language for studying aspect-oriented reasoning., and . Sci. Comput. Program., 63 (3): 321-374 (2006)MAO: Ownership and Effects for More Effective Reasoning About Aspects., , and . ECOOP, volume 4609 of Lecture Notes in Computer Science, page 451-475. Springer, (2007)Lessons from the JML Project., and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 134-143. Springer, (2005)Subverting the fundamentals sequence: using version control to enhance course management., , and . SIGCSE, page 86-90. ACM, (2007)How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification., , , , and . FMCO, volume 2852 of Lecture Notes in Computer Science, page 262-284. Springer, (2002)Strategies for preparing computer science students for the multicore world., , , , , , and . ITiCSE-WGR, page 97-115. ACM, (2010)