@InProceedings{itb11jpis, author = {Milton Inostroza and \'Eric Tanter and Eric Bodden}, title = {Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs}, booktitle = {ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}, year = {2011}, pages = {508--511}, url = {https://www.bodden.de/pubs/itb11jpi.pdf}, }