Mehdi Bagherzadeh. Enabling expressive aspect oriented modular reasoning by translucid contracts. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 227-228, ACM, 2010. [doi]
@inproceedings{Bagherzadeh10,
title = {Enabling expressive aspect oriented modular reasoning by translucid contracts},
author = {Mehdi Bagherzadeh},
year = {2010},
doi = {10.1145/1869542.1869586},
url = {http://doi.acm.org/10.1145/1869542.1869586},
tags = {contracts},
researchr = {https://researchr.org/publication/Bagherzadeh10},
cites = {0},
citedby = {0},
pages = {227-228},
booktitle = {Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA},
editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
publisher = {ACM},
isbn = {978-1-4503-0240-1},
}