{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:02Z","timestamp":1775053382543,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642166112","type":"print"},{"value":"9783642166129","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_31","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"405-420","source":"Crossref","is-referenced-by-count":13,"title":["Aspect-Oriented Instrumentation with GCC"],"prefix":"10.1007","author":[{"given":"Justin","family":"Seyster","sequence":"first","affiliation":[]},{"given":"Ketan","family":"Dixit","sequence":"additional","affiliation":[]},{"given":"Xiaowan","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[]},{"given":"Erez","family":"Zadok","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"BCEL, http:\/\/jakarta.apache.org\/bcel"},{"key":"31_CR2","unstructured":"AT&T Research Labs. Graphviz (2009), http:\/\/www.graphviz.org"},{"key":"31_CR3","volume-title":"Proceedings of the Fourth International Conference on Aspect-Oriented Software Development","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: Proceedings of the Fourth International Conference on Aspect-Oriented Software Development. ACM Press, New York (2005)"},{"key":"31_CR4","first-page":"155","volume-title":"International Symposium on Software Testing and Analysis","author":"E. Bodden","year":"2008","unstructured":"Bodden, E., Havelund, K.: Racer: Effective race detection using AspectJ. In: International Symposium on Software Testing and Analysis, Seattle, WA, pp. 155\u2013165. ACM, New York (2008)"},{"key":"31_CR5","unstructured":"Callanan, S., Dean, D.J., Zadok, E.: Extending GCC with modular GIMPLE optimizations. In: Proceedings of the 2007 GCC Developers\u2019 Summit, Ottawa, Canada (July 2007)"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Chiba, S.: A metaobject protocol for C++. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 285\u2013299 (October 1995)","DOI":"10.1145\/217838.217868"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-45102-1_16","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"S. Chiba","year":"2000","unstructured":"Chiba, S.: Load-time structural reflection in Java. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, p. 313. Springer, Heidelberg (2000)"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Coady, Y., Kiczales, G., Feeley, M., Smolyn, G.: Using AspectC to improve the modularity of path-specific customization in operating system code. In: Proceedings of the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 88\u201398 (2001)","DOI":"10.1145\/503209.503223"},{"key":"31_CR9","volume-title":"Proceedings of the 4th international conference on Aspect-oriented software development","author":"R. Douence","year":"2005","unstructured":"Douence, R., Fritz, T., Loriant, N., Menaud, J.-M., S\u00e9gura-Devillechaise, M., S\u00fcdholt, M.: An expressive aspect language for system applications with Arachne. In: Proceedings of the 4th international conference on Aspect-oriented software development. ACM Press, New York (2005)"},{"key":"31_CR10","unstructured":"AspectJ, http:\/\/www.eclipse.org\/aspectj"},{"key":"31_CR11","unstructured":"Arachne, http:\/\/www.emn.fr\/x-info\/arachne"},{"key":"31_CR12","unstructured":"Fei, L., Midkiff, S.P.: Artemis: Practical runtime monitoring of applications for errors. Tech. Rep. TR-ECE-05-02, Electrical and Computer Engineering, Purdue University (2005), http:\/\/docs.lib.purdue.edu\/ecetr\/4\/"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Compiler Construction","author":"G.C. Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of C programs. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 213\u2013228. Springer, Heidelberg (2002)"},{"key":"31_CR14","unstructured":"GCC 4.5 release series changes, new features, and fixes, http:\/\/gcc.gnu.org\/gcc-4.5\/changes.html"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S.A., Stoller, S.D., Zadok, E.: Software monitoring with controllable overhead. International Journal on Software Tools for Technology Transfer (STTT) (2010) (accepted for publication)","DOI":"10.1007\/s10009-010-0184-4"},{"key":"31_CR16","unstructured":"Objective Caml, http:\/\/caml.inria.fr\/index.en.html"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013355. Springer, Heidelberg (2001)"},{"key":"31_CR18","unstructured":"ACC, http:\/\/research.msrg.utoronto.ca\/ACC"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Nicoara, A., Alonso, G., Roscoe, T.: Controlled, systematic, and efficient code replacement for running Java programs. In: Proceedings of the ACM EuroSys Conference, Glasgow, Scotland, UK (April 2008)","DOI":"10.1145\/1352592.1352617"},{"key":"31_CR20","unstructured":"Aspicere, http:\/\/sailhome.cs.queensu.ca\/~bram\/aspicere"},{"key":"31_CR21","unstructured":"Rohlik, O., Pasetti, A., Cechticky, V., Birrer, I.: Implementing adaptability in embedded software through aspect oriented programming. In: IEEE Mechatronics & Robotics, pp. 85\u201390 (2004)"},{"issue":"7","key":"31_CR22","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.knosys.2007.05.004","volume":"20","author":"O. Spinczyk","year":"2007","unstructured":"Spinczyk, O., Lohmann, D.: The design and implementation of AspectC++. Know.-Based Syst.\u00a020(7), 636\u2013651 (2007)","journal-title":"Know.-Based Syst."},{"key":"31_CR23","unstructured":"Valgrind, http:\/\/valgrind.org"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:36Z","timestamp":1559800656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}