Rely-Guarantee Approach to Reasoning about Aspect-Oriented Programs

Authors

Raffi T. Khatchadourian, CUNY Hunter CollegeFollow
Neelam Soundarajan, Ohio State University - Main CampusFollow

Document Type

Article

Publication Date

3-2007

Abstract

Over the last few years, the question of reasoning about aspect-oriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.

Comments

Raffi Khatchadourian and Neelam Soundarajan. Rely-guarantee approach to reasoning about aspect-oriented programs. In Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT ’07, New York, NY, USA, March 2007. ACM.