Curtis Clifton, Gary T. Leavens, James Noble. MAO: Ownership and Effects for More Effective Reasoning About Aspects. In Erik Ernst, editor, ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings. Volume 4609 of Lecture Notes in Computer Science, pages 451-475, Springer, 2007. [doi]
Abstract is missing.