Translucid contracts for modular reasoning about aspect-oriented programs.

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney

Browse the full OOPSLA paper archive.