Enabling expressive aspect oriented modular reasoning by translucid contracts

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]

Abstract

Abstract is missing.