Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm. AspectJML: modular specification and runtime checking for crosscutting contracts. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 157-168, ACM, 2014. [doi]
@inproceedings{RebeloLBRLZCT14a,
title = {AspectJML: modular specification and runtime checking for crosscutting contracts},
author = {Henrique Rebêlo and Gary T. Leavens and Mehdi Bagherzadeh and Hridesh Rajan and Ricardo Lima and Daniel M. Zimmerman and Márcio Cornélio and Thomas Thüm},
year = {2014},
doi = {10.1145/2577080.2577084},
url = {http://doi.acm.org/10.1145/2577080.2577084},
researchr = {https://researchr.org/publication/RebeloLBRLZCT14a},
cites = {0},
citedby = {0},
pages = {157-168},
booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
publisher = {ACM},
isbn = {978-1-4503-2772-5},
}