Rely-guarantee approach to reasoning about aspect-oriented programs Export

@inproceedings{citeulike:3081460, 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 aspectoriented 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.}, address = {New York, NY, USA}, author = {Khatchadourian, Raffi and Soundarajan, Neelam}, booktitle = {International Workshop on Software engineering properties of languages and aspect technologies}, citeulike-article-id = {3081460}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1233843.1233848}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1233843.1233848}, doi = {10.1145/1233843.1233848}, isbn = {1595936561}, keywords = {aspect-oriented, behavioral, programs, reasoning}, location = {Vancouver, British Columbia, Canada}, month = {March}, posted-at = {2008-08-04 14:30:14}, priority = {0}, publisher = {ACM}, title = {Rely-guarantee approach to reasoning about aspect-oriented programs}, url = {http://dx.doi.org/10.1145/1233843.1233848}, year = {2007} }

TY - CONF ID - citeulike:3081460 L3 - citeulike-article-id:3081460 N2 - 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 aspectoriented 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. CY - Vancouver, British Columbia, Canada SN - 1595936561 AD - New York, NY, USA TI - Rely-guarantee approach to reasoning about aspect-oriented programs PB - ACM T2 - International Workshop on Software engineering properties of languages and aspect technologies KW - aspect-oriented KW - behavioral KW - programs KW - reasoning AU - Khatchadourian, Raffi AU - Soundarajan, Neelam PY - 2007/03// UR - http://dx.doi.org/10.1145/1233843.1233848 ER -