Raffi Khatchadourian, Neelam Soundarajan. Rely-guarantee approach to reasoning about aspect-oriented programs. In Lodewijk Bergmans, Johan Brichau, Erik Ernst, Kris Gybels, editors, Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007. Volume 217 of ACM International Conference Proceeding Series, pages 5, ACM, 2007.
Abstract is missing.