[{"text":"\n\nM. Bagherzadeh, H. Rajan, and G. T. Leavens. Translucid contracts for aspect-oriented interfaces. In the Foundations of Aspect-Oriented Languages workshop (FOAL 2010), March 2010.\n\n"},{"text":"\n\n\nMehdi Bagherzadeh , Hridesh Rajan , Gary T. Leavens , Sean Mooney, Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces, Proceedings of the tenth international conference on Aspect-oriented software development, March 21-25, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960275.1960293]\n\n","citation":"1960293","doi":"http://doi.acm.org/10.1145/1960275.1960293"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001   [doi>10.1145/383845.383858]\n\n","citation":"383858","doi":"http://doi.acm.org/10.1145/383845.383858"},{"text":"\n\n\nHridesh Rajan , Gary T. Leavens, Ptolemy: A Language with Quantified, Typed Events, Proceedings of the 22nd European conference on Object-Oriented Programming, July 07-11, 2008, Paphos, Cypress   [doi>10.1007/978-3-540-70592-5_8]\n\n","citation":"1428520"},{"text":"\n\n\nHridesh Rajan , Kevin Sullivan, Eos: instance-level aspects for integrated system design, Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, September 01-05, 2003, Helsinki, Finland   [doi>10.1145/940071.940111]\n\n","citation":"940111","doi":"http://doi.acm.org/10.1145/940071.940111"},{"text":"\n\n\nHridesh Rajan , Kevin J. Sullivan, Classpects: unifying aspect- and object-oriented language design, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA   [doi>10.1145/1062455.1062483]\n\n","citation":"1062483","doi":"http://doi.acm.org/10.1145/1062455.1062483"},{"text":"\n\n\nHridesh Rajan , Kevin J. Sullivan, Unifying aspect- and object-oriented design, ACM Transactions on Software Engineering and Methodology (TOSEM), v.19 n.1, p.1-41, August 2009   [doi>10.1145/1555392.1555396]\n\n","citation":"1555396","doi":"http://doi.acm.org/10.1145/1555392.1555396"},{"text":"\n\n\nKevin Sullivan , William G. Griswold , Hridesh Rajan , Yuanyuan Song , Yuanfang Cai , Macneil Shonle , Nishit Tewari, Modular aspect-oriented design with XPIs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.20 n.2, p.1-42, August 2010   [doi>10.1145/1824760.1824762]\n\n","citation":"1824762","doi":"http://doi.acm.org/10.1145/1824760.1824762"}]