{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T22:10:25Z","timestamp":1743199825006,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305603"},{"type":"electronic","value":"9783642305610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30561-0_24","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T22:31:43Z","timestamp":1337985103000},"page":"353-368","source":"Crossref","is-referenced-by-count":6,"title":["Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation"],"prefix":"10.1007","author":[{"given":"Yudi","family":"Zheng","sequence":"first","affiliation":[]},{"given":"Danilo","family":"Ansaloni","sequence":"additional","affiliation":[]},{"given":"Lukas","family":"Marek","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Sewe","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Binder","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Villaz\u00f3n","sequence":"additional","affiliation":[]},{"given":"Petr","family":"Tuma","sequence":"additional","affiliation":[]},{"given":"Zhengwei","family":"Qi","sequence":"additional","affiliation":[]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-69611-7_8","volume-title":"Practical Aspects of Declarative Languages","author":"E. Albert","year":"2006","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Hubert, L., Puebla, G.: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 124\u2013139. Springer, Heidelberg (2006)"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Andersen, H.M., Schultz, U.P.: Declarative specialization for object-oriented-program specialization. In: Proceedings of the Symposium on Partial Evaluation and Program Manipulation, pp. 27\u201338 (2004)","DOI":"10.1145\/1014007.1014011"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-21952-8_11","volume-title":"Objects, Models, Components, Patterns","author":"C. Bockisch","year":"2011","unstructured":"Bockisch, C., Sewe, A., Mezini, M., Ak\u015fit, M.: An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol.\u00a06705, pp. 131\u2013146. Springer, Heidelberg (2011)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Bockisch, C., Sewe, A., Zandberg, M.: ALIA4J\u2019s [(just-in-time) compile-time] MOP for advanced dispatching. In: Proceedings of the 5th Workshop on Virtual Machines and Intermediate Languages, pp. 309\u2013316 (2011)","DOI":"10.1145\/2095050.2095101"},{"issue":"1-2","key":"24_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M.V. Hermenegildo","year":"2005","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Science of Computer Programming\u00a058(1-2), 115\u2013140 (2005)","journal-title":"Science of Computer Programming"},{"key":"24_CR6","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall (1993)"},{"key":"24_CR7","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: Lee, S.H. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Marek, L., Villaz\u00f3n, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: DiSL: a domain-specific language for bytecode instrumentation. In: Proceedings of Modularity: aosd, vol.\u00a012, pp. 239\u2013250 (2012)","DOI":"10.1145\/2162049.2162077"},{"key":"24_CR9","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. LNCS, vol.\u00a02622, pp. 46\u201360. Springer, Heidelberg (2003)"},{"key":"24_CR10","unstructured":"Pawlak, R., Noguera, C., Petitprez, N.: Spoon: Program Analysis and Transformation in Java. Rapport, INRIA (2007), http:\/\/hal.inria.fr\/inria-00071366\/en\/"},{"issue":"4","key":"24_CR11","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/778559.778561","volume":"25","author":"U.P. Schultz","year":"2003","unstructured":"Schultz, U.P., Lawall, J.L., Consel, C.: Automatic Program Specialization for Java. Transactions on Programming Languages and Systems\u00a025(4), 452\u2013499 (2003)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Shali, A., Cook, W.R.: Hybrid partial evaluation. In: Proceedings of the 26th Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 375\u2013390 (2011)","DOI":"10.1145\/2048066.2048098"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Tanter, E., Moret, P., Binder, W., Ansaloni, D.: Composition of dynamic analysis aspects. In: Proceedings of the 9th International Conference on Generative Programming and Component Engineering, pp. 113\u2013122 (2010)","DOI":"10.1145\/1868294.1868311"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30561-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T21:42:11Z","timestamp":1743198131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30561-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305603","9783642305610"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30561-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}