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]

Authors

Mehdi Bagherzadeh

This author has not been identified. Look up 'Mehdi Bagherzadeh' in Google

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Robert Dyer 0001

This author has not been identified. Look up 'Robert Dyer 0001' in Google