{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T16:20:34Z","timestamp":1791044434614,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"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":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297070","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"589-608","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["Making trace monitors feasible"],"prefix":"10.1145","author":[{"given":"Pavel","family":"Avgustinov","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian","family":"Tibble","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oege","family":"de Moor","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The abc team. Benchmarks for Trace Monitoring. Scripts and sources to compile and run the benchmarks: http:\/\/aspectbench.org\/benchmarks.  The abc team. Benchmarks for Trace Monitoring. Scripts and sources to compile and run the benchmarks: http:\/\/aspectbench.org\/benchmarks."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_3_1","unstructured":"AProVE. Automated Program Verification Environment. http:\/\/aprove.informatik.rwth-aachen.de\/ 2006.  AProVE. Automated Program Verification Environment. http:\/\/aprove.informatik.rwth-aachen.de\/ 2006."},{"key":"e_1_3_2_1_4_1","unstructured":"AspectJ Eclipse Home. The AspectJ home page. http:\/\/eclipse.org\/aspectj\/ 2003.  AspectJ Eclipse Home. The AspectJ home page. http:\/\/eclipse.org\/aspectj\/ 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065026"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 04)","volume":"2937","author":"Barringer Howard","year":"2003","unstructured":"Howard Barringer , Allen Goldberg , Klaus Havelund , and Koushik Sen . Rule-based runtime verification . In Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 04) , volume 2937 , pages 44 -- 57 . Lecture Notes in Computer Science , 2003 . Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen. Rule-based runtime verification. In Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 04), volume 2937, pages 44--57. Lecture Notes in Computer Science, 2003."},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science, page to appear","volume-title":"Proceedings of the European Conference on Object-Oriented Programming","author":"Bodden Eric","year":"2007","unstructured":"Eric Bodden , Laurie Hendren , and Ond\u0159ej Lhot\u00e1k . A staged static program analysis to improve the performance of runtime monitoring . In Proceedings of the European Conference on Object-Oriented Programming , Lecture Notes in Computer Science, page to appear . Springer , 2007 . Eric Bodden, Laurie Hendren, and Ond\u0159ej Lhot\u00e1k. A staged static program analysis to improve the performance of runtime monitoring. In Proceedings of the European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, page to appear. Springer, 2007."},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Runtime Verification (RV'03)","volume":"127","author":"Chen Feng","year":"2003","unstructured":"Feng Chen and Grigore Ro\u015fu . Towards monitoring-oriented programming: A paradigm combining specification and implementation . In Workshop on Runtime Verification (RV'03) , volume 89(2) of ENTCS, pages 108-- 127 , 2003 . Feng Chen and Grigore Ro\u015fu. Towards monitoring-oriented programming: A paradigm combining specification and implementation. In Workshop on Runtime Verification (RV'03), volume 89(2) of ENTCS, pages 108--127, 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_13_1","first-page":"13","volume-title":"2nd Dynamic Aspects Workshop (DAW05)","author":"Cibr\u00e1n Mar\u00eda Augustina","year":"2005","unstructured":"Mar\u00eda Augustina Cibr\u00e1n and Bart Verheecke . Dynamic business rules for web service composition . In 2nd Dynamic Aspects Workshop (DAW05) , pages 13 -- 18 , 2005 . Mar\u00eda Augustina Cibr\u00e1n and Bart Verheecke. Dynamic business rules for web service composition. In 2nd Dynamic Aspects Workshop (DAW05), pages 13--18, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083246.1083249"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052901"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/3-540-45429-2_13","volume-title":"Reflection","author":"Douence R\u00e9mi","year":"2001","unstructured":"R\u00e9mi Douence , Olivier Motelet , and Mario S\u00fcdholt . A formal definition of crosscuts . In Akinori Yonezawa and Satoshi Matsuoka, editors, Reflection 2001 , volume 2192 of Lecture Notes in Computer Science , pages 170 -- 186 . Springer , 2001. R\u00e9mi Douence, Olivier Motelet, and Mario S\u00fcdholt. A formal definition of crosscuts. In Akinori Yonezawa and Satoshi Matsuoka, editors, Reflection 2001, volume 2192 of Lecture Notes in Computer Science, pages 170--186. Springer, 2001."},{"key":"e_1_3_2_1_17_1","unstructured":"Grigore Rosu et al. JavaMOP homepage. http:\/\/fsl.cs.uiuc.edu\/index.php\/JavaMOP 2007.  Grigore Rosu et al. JavaMOP homepage. http:\/\/fsl.cs.uiuc.edu\/index.php\/JavaMOP 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146254"},{"key":"e_1_3_2_1_20_1","volume-title":"Available from http:\/\/sourceforge.net\/projects\/jhotdraw","author":"Gamma Erich","year":"2004","unstructured":"Erich Gamma . JHotDraw. Available from http:\/\/sourceforge.net\/projects\/jhotdraw , 2004 . Erich Gamma. JHotDraw. Available from http:\/\/sourceforge.net\/projects\/jhotdraw, 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094841"},{"key":"e_1_3_2_1_22_1","volume-title":"Workshop at AOSD 2006","author":"Hui Peter","year":"2006","unstructured":"Peter Hui and James Riely . Temporal aspects as security automata. In Foundations of Aspect-Oriented Languages (FOAL 2006) , Workshop at AOSD 2006 , Technical Report #06--01, pages 19--28. Iowa State University , 2006 . Peter Hui and James Riely. Temporal aspects as security automata. In Foundations of Aspect-Oriented Languages (FOAL 2006), Workshop at AOSD 2006, Technical Report #06--01, pages 19--28. Iowa State University, 2006."},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"European Conference on Object-Oriented Programming","author":"Kiczales Gregor","year":"2001","unstructured":"Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , and William G. Griswold . An overview of AspectJ . In J.Lindskov Knudsen, editor, European Conference on Object-Oriented Programming , volume 2072 of Lecture Notes in Computer Science , pages 327 -- 353 . Springer , 2001 . Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In J.Lindskov Knudsen, editor, European Conference on Object-Oriented Programming, volume 2072 of Lecture Notes in Computer Science, pages 327--353. Springer, 2001."},{"key":"e_1_3_2_1_24_1","volume-title":"Manning","author":"Laddad Ramnivas","year":"2003","unstructured":"Ramnivas Laddad . AspectJ in Action . Manning , 2003 . Ramnivas Laddad. AspectJ in Action. Manning, 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.007"},{"key":"e_1_3_2_1_27_1","volume-title":"http:\/\/sourceforge.net\/projects\/ajhotdraw\/","author":"van Deursen Arie","year":"2006","unstructured":"Arie van Deursen , Leon Moonen , and Marius Marin . AJHotDraw. http:\/\/sourceforge.net\/projects\/ajhotdraw\/ , 2006 . Arie van Deursen, Leon Moonen, and Marius Marin. AJHotDraw. http:\/\/sourceforge.net\/projects\/ajhotdraw\/, 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11550679_13"},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.w3.org\/Jigsaw\/","year":"2006","unstructured":"w3c. Jigsaw. http:\/\/www.w3.org\/Jigsaw\/ , 2006 . w3c. Jigsaw. http:\/\/www.w3.org\/Jigsaw\/, 2006."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029918"},{"key":"e_1_3_2_1_31_1","volume-title":"Witten and Eibe Frank. Data Mining: Practical Machine Learning Tools and Techniques with Java implementations","author":"Ian","year":"2000","unstructured":"Ian H. Witten and Eibe Frank. Data Mining: Practical Machine Learning Tools and Techniques with Java implementations . Morgan Kaufmann Publishers , 2000 . Ian H. Witten and Eibe Frank. Data Mining: Practical Machine Learning Tools and Techniques with Java implementations. Morgan Kaufmann Publishers, 2000."}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":28,"alternative-id":["10.1145\/1297027.1297070","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297070","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297070","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}