{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:36:21Z","timestamp":1761708981447,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,22]],"date-time":"2014-04-22T00:00:00Z","timestamp":1398124800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"INRIA Associated Team REAL and FONDECYT Project","award":["1110051"],"award-info":[{"award-number":["1110051"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,22]]},"DOI":"10.1145\/2577080.2577093","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"133-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Compositional reasoning about aspect interference"],"prefix":"10.1145","author":[{"given":"Ismael","family":"Figueroa","sequence":"first","affiliation":[{"name":"University of Chile, Santiago, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"Ghent University, Ghent, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Tabareau","sequence":"additional","affiliation":[{"name":"INRIA, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Tanter","sequence":"additional","affiliation":[{"name":"University of Chile, Santiago, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_7"},{"key":"e_1_3_2_1_2_1","volume-title":"9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010","author":"Proceedings","year":"2010","unstructured":"Proceedings of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010 ), Rennes and Saint Malo, France , Mar. 2010 . ACM Press. Proceedings of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010), Rennes and Saint Malo, France, Mar. 2010. ACM Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960293"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2559933"},{"key":"e_1_3_2_1_5_1","volume-title":"In FOAL Workshop","author":"Clifton C.","year":"2002","unstructured":"C. Clifton and G. T. Leavens . Observers and assistants: A proposal for modular aspect-oriented reasoning . In In FOAL Workshop , 2002 . C. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In In FOAL Workshop, 2002."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/978-3-540-73589-2_22","volume-title":"Proceedings of the 21st European Conference on Object-oriented Programming (ECOOP","author":"Clifton C.","year":"2007","unstructured":"C. Clifton , G. T. Leavens , and J. Noble . MAO: Ownership and effects for more effective reasoning about aspects . In E. Ernst, editor, Proceedings of the 21st European Conference on Object-oriented Programming (ECOOP 2007 ), number 4609 in Lecture Notes in Computer Science , pages 451 -- 475 , Berlin, Germany , july\/august 2007. Springer-Verlag . C. Clifton, G. T. Leavens, and J. Noble. MAO: Ownership and effects for more effective reasoning about aspects. In E. Ernst, editor, Proceedings of the 21st European Conference on Object-oriented Programming (ECOOP 2007), number 4609 in Lecture Notes in Computer Science, pages 451--475, Berlin, Germany, july\/august 2007. Springer-Verlag."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111071"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353448"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451436.2451452"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.10.010"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976288"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.01.003"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/169701.169682"},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/11687061_4","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"Katz S.","year":"2006","unstructured":"S. Katz . Aspect categories and classes of temporal properties . In A. Rashid and M. Aksit, editors, Transactions on Aspect-Oriented Software Development I , volume 3880 of Lecture Notes in Computer Science , pages 106 -- 134 . Springer Berlin Heidelberg , 2006 . S. Katz. Aspect categories and classes of temporal properties. In A. Rashid and M. Aksit, editors, Transactions on Aspect-Oriented Software Development I, volume 3880 of Lecture Notes in Computer Science, pages 106--134. Springer Berlin Heidelberg, 2006."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001","author":"Kiczales G.","year":"2072","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. Griswold . An overview of AspectJ. In J. L. Knudsen, editor , Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001 ), number 2072 in Lecture Notes in Computer Science, pages 327--353, Budapest, Hungary , June 2001. Springer-Verlag. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In J. L. Knudsen, editor, Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001), number 2072 in Lecture Notes in Computer Science, pages 327--353, Budapest, Hungary, June 2001. Springer-Verlag."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062482"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029916"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1739230.1739244"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000354"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173742"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029917"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451436.2451457"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1739230.1739233"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"}],"event":{"name":"MODULARITY '14: 13th International Conference on Modularity","sponsor":["AOSA Aspect-Oriented Software Association","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lugano Switzerland","acronym":"MODULARITY '14"},"container-title":["Proceedings of the 13th international conference on Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2577080.2577093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2577080.2577093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:54Z","timestamp":1750229754000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2577080.2577093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,22]]},"references-count":27,"alternative-id":["10.1145\/2577080.2577093","10.1145\/2577080"],"URL":"https:\/\/doi.org\/10.1145\/2577080.2577093","relation":{},"subject":[],"published":{"date-parts":[[2014,4,22]]},"assertion":[{"value":"2014-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}