{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:16Z","timestamp":1750306636862,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"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":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-10-17262 and CCF-1017334","CCF-11-17937 and CCF-08-46059"],"award-info":[{"award-number":["CCF-10-17262 and CCF-1017334","CCF-11-17937 and CCF-08-46059"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["314539\/2009-3"],"award-info":[{"award-number":["314539\/2009-3"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,22]]},"DOI":"10.1145\/2577080.2577084","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"157-168","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["AspectJML"],"prefix":"10.1145","author":[{"given":"Henrique","family":"Reb\u00ealo","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}]},{"given":"Mehdi","family":"Bagherzadeh","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}]},{"given":"Hridesh","family":"Rajan","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"given":"Daniel M.","family":"Zimmerman","sequence":"additional","affiliation":[{"name":"Harvey Mudd College, Claremont, CA, USA"}]},{"given":"M\u00e1rcio","family":"Corn\u00e9lio","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Magdeburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451436.2451458"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960293"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11751113_11"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_5_1","unstructured":"J. Boner. Aspectwerks. http:\/\/aspectwerkz.codehaus.org\/.  J. Boner. Aspectwerks. http:\/\/aspectwerkz.codehaus.org\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.55"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.520"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2932433.2932497"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394776"},{"key":"e_1_3_2_1_10_1","first-page":"322","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02)","author":"Cheon Y.","year":"2002","unstructured":"Y. Cheon and G. T. Leavens . A runtime assertion checker for the Java Modeling Language (JML). In H. R. Arabnia and Y. Mun, editors , Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02) , Las Vegas, Nevada, USA , June 24-27, 2002 , pages 322 -- 328 . CSREA Press, June 2002. Y. Cheon and G. T. Leavens. A runtime assertion checker for the Java Modeling Language (JML). In H. R. Arabnia and Y. Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002, pages 322--328. CSREA Press, June 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127900"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.03.104"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/227726.227772"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774531"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.26"},{"key":"e_1_3_2_1_16_1","volume-title":"Aspect-Oriented Programming is Quantification and Obliviousness. Technical report","author":"Filman R. E.","year":"2000","unstructured":"R. E. Filman and D. P. Friedman . Aspect-Oriented Programming is Quantification and Obliviousness. Technical report , 2000 . R. E. Filman and D. P. Friedman. Aspect-Oriented Programming is Quantification and Obliviousness. Technical report, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394771"},{"key":"e_1_3_2_1_18_1","volume-title":"EuroPlop'03","author":"Hanenberg S.","year":"2003","unstructured":"S. Hanenberg and R. Unland . AspectJ idioms for aspect-oriented software construction . In EuroPlop'03 , 2003 . S. Hanenberg and R. Unland. AspectJ idioms for aspect-oriented software construction. In EuroPlop'03, 2003."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582436"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025205"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"G.\n      Kiczales J.\n      Lamping A.\n      Mendhekar C.\n      Maeda C.\n      Lopes J.-M.\n      Loingtier and \n      J.\n      Irwin\n  . \n  Aspect-oriented programming\n  . In M. Aksit and S.Matsuoka editors ECOOP'97 Object-Oriented Programming volume \n  1241\n   of \n  Lecture Notes in Computer Science pages \n  220\n  --\n  242\n  . \n  Springer Berlin \/ Heidelberg 1997\n  .  G. Kiczales J. Lamping A. Mendhekar C. Maeda C. Lopes J.-M. Loingtier and J. Irwin. Aspect-oriented programming. In M. Aksit and S.Matsuoka editors ECOOP'97 Object-Oriented Programming volume 1241 of Lecture Notes in Computer Science pages 220--242. Springer Berlin \/ Heidelberg 1997.","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062482"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052913"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.79"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337229"},{"key":"e_1_3_2_1_30_1","volume-title":"U.S. Patent No. 06,442,750, issued","author":"Lopes C. V.","year":"2002","unstructured":"C. V. Lopes , M. Lippert , and E. A. Hilsdale . Design By Contract with Aspect-Oriented Programming . In U.S. Patent No. 06,442,750, issued August 27, 2002 . C. V. Lopes, M. Lippert, and E. A. Hilsdale. Design By Contract with Aspect-Oriented Programming. In U.S. Patent No. 06,442,750, issued August 27, 2002."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.7"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_33_1","volume-title":"Eiffel: The Language","author":"Meyer B.","year":"1992","unstructured":"B. Meyer . Eiffel: The Language . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1992 . B. Meyer. Eiffel: The Language. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1992."},{"key":"e_1_3_2_1_34_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"2000","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice-Hall , PTR , 2 nd edition, 2000 . B. Meyer. Object-Oriented Software Construction. Prentice-Hall, PTR, 2nd edition, 2000.","edition":"2"},{"key":"e_1_3_2_1_35_1","volume-title":"Design by contract, by example","author":"Mitchell R.","year":"2002","unstructured":"R. Mitchell , J. McKim , and B. Meyer . Design by contract, by example . Addison Wesley Longman Publishing Co., Inc. , Redwood City, CA, USA , 2002 . R.Mitchell, J.McKim, and B.Meyer. Design by contract, by example. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15187-3_8"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508075.2514569"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451598.2451603"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194013500265"},{"key":"e_1_3_2_1_41_1","volume-title":"Pointcuts and Advice. In SBLP '11: Proceedings of the 2011 Brazilian Symposium on Programming Languages. Brazilian Computer Society","author":"Reb\u00ealo H.","year":"2011","unstructured":"H. Reb\u00ealo , R. Lima , and G. T. Leavens . Modular Contracts with Procedures, Annotations , Pointcuts and Advice. In SBLP '11: Proceedings of the 2011 Brazilian Symposium on Programming Languages. Brazilian Computer Society , 2011 . H. Reb\u00ealo, R. Lima, and G. T. Leavens. Modular Contracts with Procedures, Annotations, Pointcuts and Advice. In SBLP '11: Proceedings of the 2011 Brazilian Symposium on Programming Languages. Brazilian Computer Society, 2011."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.09.003"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363745"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028747"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582437"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167514"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1767751.1767752"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1824760.1824762"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489828.2489829"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_18"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13173-010-0008-0"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762980.1762995"}],"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.2577084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2577080.2577084","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.2577084"}},"subtitle":["modular specification and runtime checking for crosscutting contracts"],"short-title":[],"issued":{"date-parts":[[2014,4,22]]},"references-count":52,"alternative-id":["10.1145\/2577080.2577084","10.1145\/2577080"],"URL":"https:\/\/doi.org\/10.1145\/2577080.2577084","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"}}]}}