[{"text":"\n\n\nJonathan Aldrich, Open modules: modular reasoning about advice, Proceedings of the 19th European conference on Object-Oriented Programming, July 25-29, 2005, Glasgow, UK   [doi>10.1007/11531142_7]\n\n","citation":"2144902"},{"text":"\n\nProceedings of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010), Rennes and Saint Malo, France, Mar. 2010. ACM Press.\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\nEric Bodden , Éric Tanter , Milton Inostroza, Join point interfaces for safe and flexible decoupling of aspects, ACM Transactions on Software Engineering and Methodology (TOSEM), v.23 n.1, p.1-41, February 2014   [doi>10.1145/2559933]\n\n","citation":"2559933","doi":"http://doi.acm.org/10.1145/2559933"},{"text":"\n\nC. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In In FOAL Workshop, 2002.\n\n"},{"text":"\n\n\nCurtis Clifton , Gary T. Leavens , James Noble, MAO: ownership and effects for more effective reasoning about aspects, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany \n\n","citation":"2394790"},{"text":"\n\n\nDaniel S. Dantas , David Walker, Harmless advice, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.383-396, January 11-13, 2006, Charleston, South Carolina, USA   [doi>10.1145/1111037.1111071]\n\n","citation":"1111071","doi":"http://doi.acm.org/10.1145/1111037.1111071"},{"text":"\n\n\nDaniel S. Dantas , David Walker , Geoffrey Washburn , Stephanie Weirich, AspectML: A polymorphic aspect-oriented functional programming language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-60, May 2008   [doi>10.1145/1353445.1353448]\n\n","citation":"1353448","doi":"http://doi.acm.org/10.1145/1353445.1353448"},{"text":"\n\n\nCynthia Disenfeld , Shmuel Katz, Specification and verification of event detectors and responses, Proceedings of the 12th annual international conference on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan   [doi>10.1145/2451436.2451452]\n\n","citation":"2451452","doi":"http://doi.acm.org/10.1145/2451436.2451452"},{"text":"\n\n\nSimplice Djoko Djoko , Rémi Douence , Pascal Fradet, Aspects preserving properties, Science of Computer Programming, v.77 n.3, p.393-422, March, 2012   [doi>10.1016/j.scico.2011.10.010]\n\n","citation":"2108549"},{"text":"\n\n\nRémi Douence , Pascal Fradet , Mario Südholt, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development, p.141-150, March 22-24, 2004, Lancaster, UK   [doi>10.1145/976270.976288]\n\n","citation":"976288","doi":"http://doi.acm.org/10.1145/976270.976288"},{"text":"\n\n\nChristopher Dutchyn , David B. Tucker , Shriram Krishnamurthi, Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, v.63 n.3, p.207-239, 15 December 2006   [doi>10.1016/j.scico.2006.01.003]\n\n","citation":"1228570"},{"text":"\n\nI. Figueroa, T. Schrijvers, N. Tabareau, and É. Tanter. Compositional reasoning about aspect interference -- extended with supplementary material. Technical Report TR/DCC-2013--8, Computer Science Department, University of Chile, Oct. 2013.\n\n"},{"text":"\n\n\nShmuel Katz, A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.337-356, April 1993   [doi>10.1145/169701.169682]\n\n","citation":"169682","doi":"http://doi.acm.org/10.1145/169701.169682"},{"text":"\n\n\nShmuel Katz, Aspect categories and classes of temporal properties, Transactions on Aspect-Oriented Software Development I, Springer-Verlag, Berlin, Heidelberg, 2006 \n\n","citation":"2168346"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001 \n\n","citation":"680006"},{"text":"\n\n\nGregor Kiczales , Mira Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA   [doi>10.1145/1062455.1062482]\n\n","citation":"1062482","doi":"http://doi.acm.org/10.1145/1062455.1062482"},{"text":"\n\n\nShriram Krishnamurthi , Kathi Fisler , Michael Greenberg, Verifying aspect advice modularly, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA   [doi>10.1145/1029894.1029916]\n\n","citation":"1029916","doi":"http://doi.acm.org/10.1145/1029894.1029916"},{"text":"\n\n\nSheng Liang , Paul Hudak , Mark Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 23-25, 1995, San Francisco, California, USA   [doi>10.1145/199448.199528]\n\n","citation":"199528","doi":"http://doi.acm.org/10.1145/199448.199528"},{"text":"\n\n\nEugenio Moggi, Notions of computation and monads, Information and Computation, v.93 n.1, p.55-92, July 1991   [doi>10.1016/0890-5401(91)90052-4] \n\n","citation":"116984"},{"text":"\n\n\nBruno C. d. S. Oliveira , Tom Schrijvers , William R. Cook, EffectiveAdvice: disciplined advice with explicit effects, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France   [doi>10.1145/1739230.1739244]\n\n","citation":"1739244","doi":"http://doi.acm.org/10.1145/1739230.1739244"},{"text":"\n\n\nBruno c. d. s. Oliveira , Tom Schrijvers , William r. Cook, Mri: Modular reasoning about interference in incremental programming, Journal of Functional Programming, v.22 n.6, p.797-852, November 2012   [doi>10.1017/S0956796812000354]\n\n","citation":"2431082"},{"text":"\n\n\nChristian Prehofer, Semantic reasoning about feature composition via multiple aspect-weavings, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA   [doi>10.1145/1173706.1173742]\n\n","citation":"1173742","doi":"http://doi.acm.org/10.1145/1173706.1173742"},{"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\nMartin Rinard , Alexandru Salcianu , Suhabe Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA   [doi>10.1145/1029894.1029917]\n\n","citation":"1029917","doi":"http://doi.acm.org/10.1145/1029894.1029917"},{"text":"\n\n\nNicolas Tabareau , Ismael Figueroa , Éric Tanter, A typed monadic embedding of aspects, Proceedings of the 12th annual international conference on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan   [doi>10.1145/2451436.2451457]\n\n","citation":"2451457","doi":"http://doi.acm.org/10.1145/2451436.2451457"},{"text":"\n\n\nRodolfo Toledo , Paul Leger , Éric Tanter, AspectScript: expressive aspects for the web, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France   [doi>10.1145/1739230.1739233]\n\n","citation":"1739233","doi":"http://doi.acm.org/10.1145/1739230.1739233"},{"text":"\n\n\nPhilip Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 19-22, 1992, Albuquerque, New Mexico, USA   [doi>10.1145/143165.143169]\n\n","citation":"143169","doi":"http://doi.acm.org/10.1145/143165.143169"}]