{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:25Z","timestamp":1772163925373,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,1,11]],"date-time":"2006-01-11T00:00:00Z","timestamp":1136937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,1,11]]},"DOI":"10.1145\/1111037.1111071","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"383-396","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["Harmless advice"],"prefix":"10.1145","author":[{"given":"Daniel S.","family":"Dantas","sequence":"first","affiliation":[{"name":"Princeton University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[{"name":"Princeton University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,1,11]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065047"},{"key":"e_1_3_2_1_3_1","volume-title":"Foundations of Aspect Languages","author":"Clifton C.","year":"2002","unstructured":"C. Clifton and G. T. Leavens . Observers and assistants: A proposal for modular aspect-oriented reasoning . In Foundations of Aspect Languages , Apr. 2002 . C. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In Foundations of Aspect Languages, Apr. 2002."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976279"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086404"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976288"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646931.710555"},{"key":"e_1_3_2_1_8_1","first-page":"246","volume-title":"IEEE Symposium on Security and Privacy","author":"Schneider F. B.","year":"2000","unstructured":"\u00dalfar. Erlingsson and F. B. Schneider . IRM enforcement of Java stack inspection . In IEEE Symposium on Security and Privacy , pages 246 -- 255 , Oakland, California , May 2000 . \u00dalfar. Erlingsson and F. B. Schneider. IRM enforcement of Java stack inspection. In IEEE Symposium on Security and Privacy, pages 246--255, Oakland, California, May 2000."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766716"},{"key":"e_1_3_2_1_11_1","first-page":"21","volume-title":"Aspect-oriented programming is quantification and obliviousness","author":"Filman R. E.","year":"2005","unstructured":"R. E. Filman and D. P. Friedman . Aspect-oriented programming is quantification and obliviousness . In R. E. Filman, T. Elrad, S. Clarke, and M. Ak\u015fit, editors, Aspect-Oriented Software Development, pages 21 -- 35 . Addison-Wesley , Boston, 2005 . R. E. Filman and D. P. Friedman. Aspect-oriented programming is quantification and obliviousness. In R. E. Filman, T. Elrad, S. Clarke, and M. Ak\u015fit, editors, Aspect-Oriented Software Development, pages 21--35. Addison-Wesley, Boston, 2005."},{"key":"e_1_3_2_1_12_1","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"Harper R.","year":"1998","unstructured":"R. Harper and C. Stone . A type-theoretic interpretation of Standard ML . In Proof, Language and Interaction: Essays in Honour of Robin Milner . The MIT Press , 1998 . R. Harper and C. Stone. A type-theoretic interpretation of Standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, 1998."},{"key":"e_1_3_2_1_13_1","volume-title":"June","year":"2004","unstructured":"List of main users. AspectJ Users List: aspectj-users@eclipse.org , June 2004 . Requires subscription to access archives. List of main users. AspectJ Users List: aspectj-users@eclipse.org, June 2004. Requires subscription to access archives."},{"key":"e_1_3_2_1_14_1","volume-title":"A calculus of typed aspect-oriented programs. Unpublished manuscript","author":"Jagadeesan R.","year":"2003","unstructured":"R. Jagadeesan , A. Jeffrey , and J. Riely . A calculus of typed aspect-oriented programs. Unpublished manuscript ., 2003 . R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of typed aspect-oriented programs. Unpublished manuscript., 2003."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"e_1_3_2_1_16_1","volume-title":"Foundations of Aspect-Oriented Languages","author":"Katz S.","year":"2004","unstructured":"S. Katz . Diagnosis of harmful aspects using regression verification . In Foundations of Aspect-Oriented Languages , Mar. 2004 . S. Katz. Diagnosis of harmful aspects using regression verification. In Foundations of Aspect-Oriented Languages, Mar. 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062482"},{"key":"e_1_3_2_1_19_1","volume-title":"European Conference on Real-time Systems","author":"Kim M.","year":"1999","unstructured":"M. Kim , M. Viswanathan , H. Ben-Abdallah , S. Kannan , I. Lee , and O. Sokolsky . Formally specified monitoring of temporal properties . In European Conference on Real-time Systems , York, UK , June 1999 . M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In European Conference on Real-time Systems, York, UK, June 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029916"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/46.5.542"},{"key":"e_1_3_2_1_22_1","first-page":"17","volume-title":"Foundations of Aspect-Oriented Languages Workshop","author":"Masuhara H.","year":"2002","unstructured":"H. Masuhara , G. Kiczales , and C. Dutchyn . Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors , Foundations of Aspect-Oriented Languages Workshop , pages 17 -- 25 , Apr. 2002 . H. Masuhara, G. Kiczales, and C. Dutchyn. Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17--25, Apr. 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_24_1","volume-title":"Northeastern University","author":"Ovlinger J.","year":"2003","unstructured":"J. Ovlinger . Modular Programming with Aspectual Collaborations. PhD thesis , Northeastern University , 2003 . J. Ovlinger. Modular Programming with Aspectual Collaborations. PhD thesis, Northeastern University, 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029917"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081734"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643620"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944718"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018203.1018208"}],"event":{"name":"POPL06: The 33rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2006","location":"Charleston South Carolina USA","acronym":"POPL06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111037.1111071","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1111037.1111071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:38:28Z","timestamp":1750268308000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1111037.1111071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,11]]},"references-count":30,"alternative-id":["10.1145\/1111037.1111071","10.1145\/1111037"],"URL":"https:\/\/doi.org\/10.1145\/1111037.1111071","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1111320.1111071","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,1,11]]},"assertion":[{"value":"2006-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}