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. [doi]
@inproceedings{KhatchadourianS07,
title = {Rely-guarantee approach to reasoning about aspect-oriented programs},
author = {Raffi Khatchadourian and Neelam Soundarajan},
year = {2007},
doi = {10.1145/1233843.1233848},
url = {http://doi.acm.org/10.1145/1233843.1233848},
tags = {object-oriented programming, aspect oriented programming, subject-oriented programming, systematic-approach, feature-oriented programming},
researchr = {https://researchr.org/publication/KhatchadourianS07},
cites = {0},
citedby = {0},
pages = {5},
booktitle = {Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007},
editor = {Lodewijk Bergmans and Johan Brichau and Erik Ernst and Kris Gybels},
volume = {217},
series = {ACM International Conference Proceeding Series},
publisher = {ACM},
}