Applying translucid contracts for modular reasoning about aspect and object oriented events

Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer 0001. Applying translucid contracts for modular reasoning about aspect and object oriented events. In Hridesh Rajan, editor, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011. pages 31-35, ACM, 2011. [doi]

Abstract

Abstract is missing.