{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:06:30Z","timestamp":1769749590906,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540735885","type":"print"},{"value":"9783540735892","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73589-2_25","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T21:48:05Z","timestamp":1186955285000},"page":"525-549","source":"Crossref","is-referenced-by-count":35,"title":["A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring"],"prefix":"10.1007","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","first-page":"345","volume-title":"Object-Oriented Programming, Systems, Languages and Applications","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding Trace Matching with Free Variables to AspectJ. In: Object-Oriented Programming, Systems, Languages and Applications, pp. 345\u2013364. ACM Press, New York (2005)"},{"key":"25_CR2","unstructured":"AspectJ Eclipse Home. The AspectJ home page (2003), http:\/\/eclipse.org\/aspectj\/"},{"key":"25_CR3","first-page":"87","volume-title":"Aspect-Oriented Software Development (AOSD)","author":"P. Avgustinov","year":"2005","unstructured":"Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, J., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: abc: An extensible AspectJ compiler. In: Aspect-Oriented Software Development (AOSD), pp. 87\u201398. ACM Press, New York (2005)"},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/1065010.1065026","volume-title":"PLDI","author":"P. Avgustinov","year":"2005","unstructured":"Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, J., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Optimising AspectJ. In: PLDI. Programming Language Design and Implementation, pp. 117\u2013128. ACM Press, New York (2005)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., Bodden, E., Lhot\u00e1k, O., Hendren, L., de Moor, O., Ongkingco, N., Sittampalam, G.: Efficient trace monitoring. Technical Report abc-2006-1 03 (2006), http:\/\/www.aspectbench.org\/","DOI":"10.1145\/1176617.1176673"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. Technical Report abc-2007-1 03 (2007), http:\/\/www.aspectbench.org\/","DOI":"10.1145\/1297027.1297070"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"OOPSLA \u201906","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA \u201906. Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, Portland, OR, October 2006, pp. 169\u2013190. ACM Press, New York (2006)"},{"key":"25_CR8","unstructured":"Bodden, E., Hendren, L., Lhot\u00e1k, O.: A staged static program analysis to improve the performance of runtime monitoring (extended version). Technical Report abc-2007-2 04 (2007), http:\/\/www.aspectbench.org\/"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Chen","year":"2005","unstructured":"Chen, F., Rosu, G.: Java-MOP: A Monitoring Oriented Programming Environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 546\u2013550. Springer, Heidelberg (2005)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1083246.1083249","volume-title":"WODA \u201905: Proceedings of the third international workshop on Dynamic analysis","author":"M. d\u2019Amorim","year":"2005","unstructured":"d\u2019Amorim, M., Havelund, K.: Event-based runtime verification of Java programs. In: WODA \u201905: Proceedings of the third international workshop on Dynamic analysis, St. Louis, Missouri, pp. 1\u20137. ACM Press, New York (2005)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/178243.178264","volume-title":"PLDI \u201994","author":"M. Emami","year":"1994","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: PLDI \u201994. Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Orlando, Florida, pp. 242\u2013256. ACM Press, New York (1994)"},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/1146238.1146254","volume-title":"ISSTA\u201906","author":"S. Fink","year":"2006","unstructured":"Fink, S., Yahav, E., Dor, N., Ramalingam, G., Geay, E.: Effective typestate verification in the presence of aliasing. In: ISSTA\u201906. Proceedings of the 2006 international symposium on Software testing and analysis, Portland, Maine, pp. 133\u2013144. ACM Press, New York (2006)"},{"key":"25_CR13","unstructured":"Goldberg, A., Havelund, K.: Automated runtime verification with Eagle. In: Ultes-Nitsche, U., Augusto, J.C., Barjis, J. (eds.) Workshop on Verification and Validation of Enterprise Information Systems (VVEIS), INSTICC Press (2005)"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/976270.976276","volume-title":"AOSD \u201904","author":"E. Hilsdale","year":"2004","unstructured":"Hilsdale, E., Hugunin, J.: Advice weaving in AspectJ. In: AOSD \u201904. Proceedings of the 3rd international conference on Aspect-oriented software development, Lancaster, pp. 26\u201335. ACM Press, New York (2004)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/379605.379665","volume-title":"PASTE \u201901","author":"M. Hind","year":"2001","unstructured":"Hind, M.: Pointer analysis: haven\u2019t we solved this problem yet? In: PASTE \u201901. Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, Snowbird, Utah, pp. 54\u201361. ACM Press, New York (2001)"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J.B. Kam","year":"1977","unstructured":"Kam, J.B., Ullman, J.D.: Monotone data flow analysis frameworks. Acta Informatica\u00a07, 305\u2013317 (1977)","journal-title":"Acta Informatica"},{"key":"25_CR17","first-page":"268","volume":"53","author":"E. Kindler","year":"1994","unstructured":"Kindler, E.: Safety and liveness properties: A survey. Bulletin of the European Association for Theoretical Computer Science\u00a053, 268\u2013272 (1994)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"issue":"3","key":"25_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/981009.981016","volume":"39","author":"P. Lam","year":"2004","unstructured":"Lam, P., Kuncak, V., Rinard, M.: Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Not.\u00a039(3), 46\u201355 (2004)","journal-title":"SIGPLAN Not."},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O. Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling Java points-to analysis using Spark. In: Hedin, G. (ed.) CC 2003 and ETAPS 2003. LNCS, vol.\u00a02622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/11532378_15","volume-title":"Languages and Compilers for High Performance Computing","author":"L. Li","year":"2005","unstructured":"Li, L., Verbrugge, C.: A Practical MHP Information Analysis for Concurrent Java Programs. In: Eigenmann, R., Li, Z., Midkiff, S.P. (eds.) LCPC 2004. LNCS, vol.\u00a03602, pp. 194\u2013208. Springer, Heidelberg (2005)"},{"key":"25_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1094811.1094840","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors using PQL: a program query language. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 365\u2013383. ACM Press, New York (2005)"},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-36579-6_4","volume-title":"Compiler Construction","author":"H. Masuhara","year":"2003","unstructured":"Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model for aspect-oriented programs. In: Hedin, G. (ed.) CC 2003 and ETAPS 2003. LNCS, vol.\u00a02622, pp. 46\u201360. Springer, Heidelberg (2003)"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/11531142_10","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"K. Ostermann","year":"2005","unstructured":"Ostermann, K., Mezini, M., Bockisch, C.: Expressive pointcuts for increased modularity. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 214\u2013240. Springer, Heidelberg (2005)"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1145\/1133981.1134027","volume-title":"PLDI \u201906","author":"M. Sridharan","year":"2006","unstructured":"Sridharan, M., Bod\u00edk, R.: Refinement-based context-sensitive points-to analysis for Java. In: PLDI \u201906. Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, Ottawa, Ontario, Canada, pp. 387\u2013400. ACM Press, New York (2006)"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"V. Stolz","year":"2006","unstructured":"Stolz, V.: Temporal assertions with parametrised propositions. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification. LNCS, vol.\u00a04262, Springer, Heidelberg (2006)"},{"issue":"4","key":"25_CR26","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2006.02.007","volume":"144","author":"V. Stolz","year":"2006","unstructured":"Stolz, V., Bodden, E.: Temporal Assertions using AspectJ. Electronic Notes in Theoretical Computer Science\u00a0144(4), 109\u2013124 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"25_CR27","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"25_CR28","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1145\/363347.363387","volume":"11","author":"K. Thompson","year":"1968","unstructured":"Thompson, K.: Programming techniques: Regular expression search algorithm. Communications of the ACM\u00a011(6), 419\u2013422 (1968)","journal-title":"Communications of the ACM"},{"key":"25_CR29","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: CASCON \u201999. Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, Mississauga, Ontario, Canada, p. 13. IBM Press (1999)"},{"key":"25_CR30","first-page":"159","volume-title":"FSE-12","author":"R. Walker","year":"2004","unstructured":"Walker, R., Viggers, K.: Implementing protocols via declarative event patterns. In: FSE-12. ACM Sigsoft International Symposium on Foundations of Software Engineering, pp. 159\u2013169. ACM Press, New York (2004)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2007 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73589-2_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:29:10Z","timestamp":1684006150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73589-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735885","9783540735892"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73589-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}