{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:04:56Z","timestamp":1725473096503},"publisher-location":"Berlin, Heidelberg","reference-count":77,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540496991"},{"type":"electronic","value":"9783540497035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11940197_2","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T02:23:21Z","timestamp":1164162201000},"page":"20-39","source":"Crossref","is-referenced-by-count":18,"title":["Aspects for Trace Monitoring"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Avgustinov","sequence":"first","affiliation":[]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[]},{"given":"Elnar","family":"Hajiyev","sequence":"additional","affiliation":[]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[]},{"given":"Oege","family":"de Moor","sequence":"additional","affiliation":[]},{"given":"Neil","family":"Ongkingco","sequence":"additional","affiliation":[]},{"given":"Damien","family":"Sereni","sequence":"additional","affiliation":[]},{"given":"Ganesh","family":"Sittampalam","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Tibble","sequence":"additional","affiliation":[]},{"given":"Mathieu","family":"Verbaere","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"abc. The AspectBench Compiler. Home page with downloads, FAQ, documentation, support mailing lists, and bug database, http:\/\/aspectbench.org"},{"key":"2_CR2","unstructured":"abc team. Trace monitoring benchmarks (2006), http:\/\/abc.comlab.ox.ac.uk\/packages\/tmbenches.tar.gz"},{"key":"2_CR3","unstructured":"Adams, B.: Aspicere (2004), http:\/\/users.ugent.be\/~badams\/aspicere\/"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11531142_7","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"J. Aldrich","year":"2005","unstructured":"Aldrich, J.: Open Modules: modular reasoning about advice. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 144\u2013168. Springer, Heidelberg (2005)"},{"key":"2_CR5","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":"2_CR6","unstructured":"AOSD.NET. Tools for developers (2006), http:\/\/www.aosd.net\/wiki\/index.php?title=Tools_for_Developers"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11687061_5","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"I. Aracic","year":"2006","unstructured":"Aracic, I., Gasiunas, V., Mezini, M., Ostermann, K.: An overview of AspectJ. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 135\u2013173. Springer, Heidelberg (2006)"},{"key":"2_CR8","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":"2_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/1065010.1065026","volume-title":"PLDI 2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation","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 2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp. 117\u2013128. ACM Press, New York (2005)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11687061_9","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"P. Avgustinov","year":"2006","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: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 293\u2013334. Springer, Heidelberg (2006)"},{"key":"2_CR11","unstructured":"Avgustinov, P., Tibble, J., Bodden, E., Hendren, L., Lhot\u00e1k, O., de Moor, O., Ongkingco, N., Sittampalam, G.: Efficient Trace Monitoring. Technical Report abc-2006-1, AspectBench Compiler Project (2006), http:\/\/abc.comlab.ox.ac.uk\/techreports#abc-2006-1"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"2_CR13","unstructured":"Barzilay, O., Feldman, Y.A., Tyszberowicz, S., Yehudai, A.: Call and execution semantics in AspectJ. In: Foundations Of Aspect Languages (FOAL), pp. 19\u201324, Technical report TR #04-04, Department of Computer Science, Iowa State University (2004)"},{"key":"2_CR14","first-page":"152","volume-title":"ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)","author":"D.G. Bobrow","year":"1986","unstructured":"Bobrow, D.G., Kahn, K., Kiczales, G., Masinter, L., Stefik, M., Zdybel, F.: Commonloops: merging common lisp and object-oriented programming. In: Meyrowitz, N.K. (ed.) ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), vol.\u00a0791, pp. 152\u2013184. ACM Press, New York (1986)"},{"key":"2_CR15","unstructured":"Bockisch, C.: Alpha (2005), http:\/\/www.st.informatik.tu-darmstadt.de\/static\/pages\/projects\/alpha\/in%dex.html"},{"key":"2_CR16","unstructured":"Bockisch, C., Mezini, M., Ostermann, K.: Quantifying over dynamic properties of program execution. In: 2nd Dynamic Aspects Workshop DAW 2005, Technical Report 05.01. Research Institute for Advanced Computer Science, pp. 71\u201375 (2005)"},{"key":"2_CR17","unstructured":"Bodden, E.: J-LO - A tool for runtime-checking temporal assertions. Master\u2019s thesis, RWTH Aachen University (2005)"},{"key":"2_CR18","unstructured":"Bodkin, R.: Pointcuts need a long form (2006), http:\/\/dev.eclipse.org\/mhonarc\/lists\/aspectj-users\/msg05971.html"},{"key":"2_CR19","unstructured":"B\u00f6hm, O.: Aspectorientierte Programmierung mit AspectJ 5. Dpunkt.verlag (2006)"},{"key":"2_CR20","unstructured":"Brichau, J., Mens, K., de Volder, K.: SOUL\/aop (2002), http:\/\/prog.vub.ac.be\/research\/aop\/soulaop.html"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-28644-8_14","volume-title":"CONCUR 2004 - Concurrency Theory","author":"G. Bruns","year":"2004","unstructured":"Bruns, G., Jagadeesan, R., Jeffrey, A., Riely, J.: \u03bcABC: a minimal aspect calculus. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 209\u2013224. Springer, Heidelberg (2004)"},{"key":"2_CR22","unstructured":"Burke, B.: Has and hasfield pointcut expressions (2004), http:\/\/aosd.net\/pipermail\/discuss_aosd.net\/2004-May\/000958.html"},{"key":"2_CR23","unstructured":"Burstall, R.M., Popplestone, R.J.: POP-2 reference manual. In: Meltzer, B., Michie, D. (eds.) Machine Intellingence, vol.\u00a05, pp. 207\u2013246. Edinburgh University Press (1968)"},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/32.48940","volume":"16","author":"Y. Chen","year":"1990","unstructured":"Chen, Y., Nishimoto, M., Ramamoorthy, C.V.: The C information abstraction system. IEEE Transactions on Software Engineering\u00a016(3), 325\u2013334 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR25","unstructured":"Cibr\u00e1n, M.A., Verheecke, B.: Dynamic business rules for web service composition. In: 2nd Dynamic Aspects Workshop (DAW 2005), pp. 13\u201318 (2005)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1145\/353171.353181","volume-title":"OOPSLA 2000: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"C. Clifton","year":"2000","unstructured":"Clifton, C., Leavens, G.T., Chambers, C., Millstein, T.: Multijava: modular open classes and symmetric multiple dispatch for java. In: OOPSLA 2000: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 130\u2013145. ACM Press, New York (2000)"},{"volume-title":"Eclipse AspectJ: Aspect-Oriented Programming with AspectJ and the Eclipse AspectJ development tools","year":"2004","author":"A. Colyer","key":"2_CR27","unstructured":"Colyer, A., Clement, A., Harley, G., Webster, M.: Eclipse AspectJ: Aspect-Oriented Programming with AspectJ and the Eclipse AspectJ development tools. Addison-Wesley, Reading (2004)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1083246.1083249","volume-title":"WODA 2005: 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 2005: Proceedings of the third international workshop on Dynamic analysis, pp. 1\u20137. ACM Press, New York (2005)"},{"key":"2_CR29","first-page":"117","volume-title":"ACM Symposium on Programming Language Design and Implementation","author":"S. Dawson","year":"1996","unstructured":"Dawson, S., Ramakrishnan, C.R., Warren, D.S.: Practical program analysis using general purpose logic programming systems. In: ACM Symposium on Programming Language Design and Implementation, pp. 117\u2013126. ACM Press, New York (1996)"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-48443-4_22","volume-title":"Meta-Level Architectures and Reflection","author":"K. Volder de","year":"1999","unstructured":"de Volder, K.: Aspect-oriented logic meta-programming. In: Cointe, P. (ed.) Reflection 1999. LNCS, vol.\u00a01616, pp. 250\u2013272. Springer, Heidelberg (1999)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Douence, R., Fradet, P., S\u00fcdholt, M.: A framework for the detection and resolution of aspect interactions. In: GPCE 2002. LNCS, vol.\u00a02487, pp. 173\u2013188 (2002)","DOI":"10.1007\/3-540-45821-2_11"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Douence, R., Fradet, P., S\u00fcdholt, M.: Composition, reuse and interaction analysis of stateful aspects. In: Lieberherr, K. (ed.) 3rd International Conference on Aspect-oriented Software Development, pp. 141\u2013150 (2004)","DOI":"10.1145\/976270.976288"},{"key":"2_CR33","first-page":"141","volume-title":"Aspect-oriented Software Development","author":"R. Douence","year":"2004","unstructured":"Douence, R., Fradet, P., S\u00fcdholt, M.: Trace-based aspects. In: Aspect-oriented Software Development, pp. 141\u2013150. Addison-Wesley, Reading (2004)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Douence, R., Fritz, T., Loriant, N., Menaud, J.-M., S\u00e9gura, M., S\u00fcdholt, M.: An expressive aspect language for system applications with arachne. In: Aspect-Oriented Software Development, pp. 27\u201338 (2005)","DOI":"10.1145\/1052898.1052901"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-45429-2_13","volume-title":"Metalevel Architectures and Separation of Crosscutting Concerns","author":"R. Douence","year":"2001","unstructured":"Douence, R., Motelet, O., S\u00fcdholt, M.: A formal definition of crosscuts. In: Yonezawa, A., Matsuoka, S. (eds.) Reflection 2001. LNCS, vol.\u00a02192, pp. 170\u2013186. Springer, Heidelberg (2001)"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1145\/1028976.1028990","volume-title":"OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"B. Dufour","year":"2004","unstructured":"Dufour, B., Goard, C., Hendren, L., de Moor, O., Sittampalam, G., Verbrugge, C.: Measuring the dynamic behaviour of aspectj programs. In: OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 150\u2013169. ACM Press, New York (2004)"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/1111037.1111062","volume-title":"POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"E. Ernst","year":"2006","unstructured":"Ernst, E., Ostermann, K., Cook, W.R.: A virtual class calculus. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 270\u2013282. ACM Press, New York (2006)"},{"key":"2_CR38","unstructured":"Fritz, T., S\u00e9gura, M., S\u00fcdholt, M., Wuchner, E., Menaud, J.M.: An application of dynamic AOP to medical image generation. In: 2nd Dynamic Aspects Workshop (DAW 2005), Technical Report 05.01. Research Institute for Advanced Computer Science, pp. 5\u201312 (2005)"},{"volume-title":"Logic and Databases","year":"1978","author":"H. Gallaire","key":"2_CR39","unstructured":"Gallaire, H., Minker, J.: Logic and Databases. Plenum Press, New York (1978)"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 385\u2013402 (2005)","DOI":"10.1145\/1094811.1094841"},{"volume-title":"Mastering AspectJ: Aspect-Oriented Programming in Java","year":"2003","author":"J.D. Gradecki","key":"2_CR41","unstructured":"Gradecki, J.D., Lesiecki, N.: Mastering AspectJ: Aspect-Oriented Programming in Java. Wiley, Chichester (2003)"},{"key":"2_CR42","unstructured":"Trese group. Compose* (2005), http:\/\/janus.cs.utwente.nl:8000\/twiki\/bin\/view\/Composer\/"},{"key":"2_CR43","unstructured":"Kniesel, S.H.G., Rho, T.: Evolvable pattern implementations need generic aspects. In: ECOOP 2004, pp. 116\u2013126 (June 2004)"},{"key":"2_CR44","unstructured":"Gybels, K.: Carma (2004), http:\/\/prog.vub.ac.be\/~kgybels\/Research\/AOP.html"},{"key":"2_CR45","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/643603.643610","volume-title":"2nd International Conference on Aspect-oriented Software Development","author":"K. Gybels","year":"2003","unstructured":"Gybels, K., Brichau, J.: Arranging language features for more robust pattern-based crosscuts. In: 2nd International Conference on Aspect-oriented Software Development, pp. 60\u201369. ACM Press, New York (2003)"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11785477_2","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"E. Hajiyev","year":"2006","unstructured":"Hajiyev, E., Verbaere, M., de Moor, O.: Codequest: scalable source code queries with Datalog. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 2\u201327. Springer, Heidelberg (2006)"},{"key":"2_CR47","unstructured":"Hanenberg, S., Unland, R.: Sally (2003), http:\/\/dawis.icb.uni-due.de\/?id=200"},{"key":"2_CR48","first-page":"411","volume-title":"ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)","author":"W. Harrison","year":"1993","unstructured":"Harrison, W., Ossher, H.: Subject-oriented programming (a critique of pure objects). In: Paepcke, A. (ed.) ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp. 411\u2013428. ACM Press, New York (1993)"},{"key":"2_CR49","unstructured":"Hugunin, J.: Support for modifiers in typepatterns (2003), http:\/\/dev.eclipse.org\/mhonarc\/lists\/aspectj-users\/msg01578.html"},{"key":"2_CR50","unstructured":"Hui, P., Riely, J.: Temporal aspects as security automata. In: Foundations of Aspect-Oriented Languages (FOAL 2006), Workshop at AOSD 2006, Technical Report #06-01, pp. 19\u201328. Iowa State University (2006)"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Janzen, D., de Volder, K.: Navigating and querying code without getting lost. In: 2nd International Conference on Aspect-Oriented Software Development, pp. 178\u2013187 (2003)","DOI":"10.1145\/643603.643622"},{"issue":"3","key":"2_CR52","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/32.667879","volume":"24","author":"S. Jarzabek","year":"1998","unstructured":"Jarzabek, S.: Design of flexible static program analyzers with PQL. IEEE Transactions on Software Engineering\u00a024(3), 197\u2013215 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR53","unstructured":"Javey, S., Mitsui, K., Nakamura, H., Ohira, T., Yasuda, K., Kuse, K., Kamimura, T., Helm, R.: Architecture of the XL C++ browser. In: CASCON 1992: Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, pp. 369\u2013379. IBM Press (1992)"},{"key":"2_CR54","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G. Kiczales","year":"1991","unstructured":"Kiczales, G., des Rivieres, J.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"2_CR56","unstructured":"Kiselev, I.: Aspect-oriented programming with AspectJ. SAMS (2002)"},{"key":"2_CR57","unstructured":"Laddad, R.: AspectJ in Action. Manning (2003)"},{"key":"2_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1065167.1065169","volume-title":"PODS 2005: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"M.S. Lam","year":"2005","unstructured":"Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: PODS 2005: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 1\u201312. ACM Press, New York (2005)"},{"key":"2_CR59","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1052898.1052907","volume-title":"AOSD 2005: Proceedings of the 4th international conference on Aspect-oriented software development","author":"R. L\u00e4mmel","year":"2005","unstructured":"L\u00e4mmel, R., De Schutter, K.: What does aspect-oriented programming mean to Cobol? In: AOSD 2005: Proceedings of the 4th international conference on Aspect-oriented software development, pp. 99\u2013110. ACM Press, New York (2005)"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Linton, M.A.: Implementing relational views of programs. In: Henderson, P.B. (ed.) Software Development Environments (SDE), pp. 132\u2013140 (1984)","DOI":"10.1145\/800020.808258"},{"key":"2_CR61","doi-asserted-by":"crossref","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 (2005)","DOI":"10.1145\/1103845.1094840"},{"key":"2_CR62","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1028664.1028670","volume-title":"OOPSLA 2004: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications","author":"E. McCormick","year":"2004","unstructured":"McCormick, E., De Volder, K.: JQuery: finding your way through tangled code. In: OOPSLA 2004: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 9\u201310. ACM Press, New York (2004)"},{"volume-title":"AspectJ cookbook","year":"2004","author":"R. Miles","key":"2_CR63","unstructured":"Miles, R.: AspectJ cookbook. O\u2019Reilly, Sebastopol (2004)"},{"key":"2_CR64","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1028976.1028986","volume-title":"OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"N. Nystrom","year":"2004","unstructured":"Nystrom, N., Chong, S., Myers, A.C.: Scalable extensibility via nested inheritance. In: OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 99\u2013115. ACM Press, New York (2004)"},{"key":"2_CR65","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1094811.1094815","volume-title":"OOPSLA 2005: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"M. Odersky","year":"2005","unstructured":"Odersky, M., Zenger, M.: Scalable component abstractions. In: OOPSLA 2005: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp. 41\u201357. ACM Press, New York (2005)"},{"key":"2_CR66","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1119655.1119664","volume-title":"AOSD 2006: Proceedings of the 5th international conference on Aspect-oriented software development","author":"N. Ongkingco","year":"2006","unstructured":"Ongkingco, N., Avgustinov, P., Tibble, J., Hendren, L., de Moor, O., Sittampalam, G.: Adding open modules to AspectJ. In: AOSD 2006: Proceedings of the 5th international conference on Aspect-oriented software development, pp. 39\u201350. ACM Press, New York (2006)"},{"issue":"3","key":"2_CR67","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/32.489080","volume":"22","author":"S. Paul","year":"1996","unstructured":"Paul, S., Prakash, A.: Querying source code using an algebraic query language. IEEE Transactions on Software Engineering\u00a022(3), 202\u2013217 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"Reps, T.W.: Demand interprocedural program analysis using logic databases. In: Workshop on Programming with Logic Databases, ILPS, pp. 163\u2013196 (1993)","DOI":"10.1007\/978-1-4615-2207-2_8"},{"key":"2_CR69","unstructured":"Rho, T., Kniesel, G., Appeltauer, M., Linder, A.: LogicAJ (2006), http:\/\/roots.iai.uni-bonn.de\/research\/logicaj\/people"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Sereni, D., de Moor, O.: Static analysis of aspects. In: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD), pp. 30\u201339 (2003)","DOI":"10.1145\/643603.643607"},{"key":"2_CR71","series-title":"Electronical Notes in Theoretical Computer Science","first-page":"109","volume-title":"RV 2005 - Fifth Workshop on Runtime Verification","author":"V. Stolz","year":"2005","unstructured":"Stolz, V., Bodden, E.: Temporal Assertions using AspectJ. In: RV 2005 - Fifth Workshop on Runtime Verification. Electronical Notes in Theoretical Computer Science, vol.\u00a0144(4), pp. 109\u2013124. Elsevier Science Publishers, Amsterdam (2005)"},{"key":"2_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/11550679_13","volume-title":"Software Composition","author":"W. Vanderperren","year":"2005","unstructured":"Vanderperren, W., Suv\u00e9e, D., Cibr\u00e1n, M.A., De Fraine, B.: Stateful Aspects in JAsCo. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, pp. 167\u2013181. Springer, Heidelberg (2005)"},{"key":"2_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-45821-2_19","volume-title":"Generative Programming and Component Engineering","author":"E. Visser","year":"2002","unstructured":"Visser, E.: Meta-programming with Concrete Object Syntax. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 299\u2013315. Springer, Heidelberg (2002)"},{"key":"2_CR74","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/944705.944718","volume-title":"ICFP 2003: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming","author":"D. Walker","year":"2003","unstructured":"Walker, D., Zdancewic, S., Ligatti, J.: A theory of aspects. In: ICFP 2003: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pp. 127\u2013139. ACM Press, New York (2003)"},{"key":"2_CR75","doi-asserted-by":"crossref","unstructured":"Walker, R., Viggers, K.: Implementing protocols via declarative event patterns. In: ACM Sigsoft International Symposium on Foundations of Software Engineering (FSE-12), pp. 159\u2013169 (2004)","DOI":"10.1145\/1029894.1029918"},{"issue":"5","key":"2_CR76","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1145\/1018203.1018208","volume":"26","author":"M. Wand","year":"2004","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Trans. Program. Lang. Syst.\u00a026(5), 890\u2013910 (2004)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11575467_8","volume-title":"Programming Languages and Systems","author":"J. Whaley","year":"2005","unstructured":"Whaley, J., Avots, D., Carbin, M., Lam, M.S.: Using Datalog with Binary Decision Diagrams for Program Analysis. In: Yi, K. (ed.) APLAS 2005. LNCS, vol.\u00a03780, pp. 97\u2013118. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing and Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11940197_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T08:43:09Z","timestamp":1555922589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11940197_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540496991","9783540497035"],"references-count":77,"URL":"https:\/\/doi.org\/10.1007\/11940197_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}
