{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:34Z","timestamp":1747807894266},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712282"},{"type":"electronic","value":"9783540712299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71229-9_15","type":"book-chapter","created":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T17:39:13Z","timestamp":1183311553000},"page":"218-232","source":"Crossref","is-referenced-by-count":5,"title":["A Declarative Framework for Analysis and Optimization"],"prefix":"10.1007","author":[{"given":"Henry","family":"Falconer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul H. J.","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David M.","family":"Ingram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael R.","family":"Mellor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony","family":"Field","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olav","family":"Beckmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Adams, B., Tourw\u00e9, T.: Aspect orientation for C: Express yourself. In: AOSD SPLAT Workshop (2005)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/1094811.1094843","volume-title":"OOPSLA \u201905: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"A. Ahern","year":"2005","unstructured":"Ahern, A., Yoshida, N.: Formalising Java RMI with explicit code mobility. In: OOPSLA \u201905: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, San Diego, CA, USA, pp. 403\u2013422. ACM Press, New York (2005), doi:10.1145\/1094811.1094843"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/1094855.1094877","volume-title":"OOPSLA \u201905: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"C. Allan","year":"2005","unstructured":"Allan, C., et al.: ABC the AspectBench compiler for AspectJ: A workbench for aspect-oriented programming language and compilers research. In: OOPSLA \u201905: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, San Diego, CA, USA, pp. 88\u201389. ACM Press, New York (2005), doi:10.1145\/1094855.1094877"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/1094811.1094839","volume-title":"OOPSLA \u201905: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"C. Allan","year":"2005","unstructured":"Allan, C., et al.: Adding trace matching with free variables to AspectJ. In: OOPSLA \u201905: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, San Diego, CA, USA, pp. 345\u2013364. ACM Press, New York (2005)"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/WPC.2003.1199220","volume-title":"Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC\u00a02003)","author":"D. Beyer","year":"2003","unstructured":"Beyer, D., Lewerentz, C.: CrocoPat: Efficient pattern analysis in object-oriented programs. In: Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC\u00a02003), Portland, OR, May 10-11, 2003, pp. 294\u2013295. IEEE Computer Society Press, Los Alamitos (2003), http:\/\/mtc.epfl.ch\/~beyer\/CrocoPat\/"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0096-0551(91)90019-6","volume":"16","author":"J.R. Cordy","year":"1991","unstructured":"Cordy, J.R., Halpern-Hamu, C.D., Promislow, E.: TXL: a rapid prototyping system for programming language dialects. Computer Languages\u00a016(1), 97\u2013107 (1991)","journal-title":"Computer Languages"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/3-540-49255-0_145","volume-title":"Object-Oriented Technology. ECOOP \u201998 Workshop Reader","author":"M.K. Davis","year":"1998","unstructured":"Davis, M.K., Quinlan, D.J.: ROSE: An Optimizing Transformation System for C++ Array-Class Libraries. In: Demeyer, S., Bosch, J. (eds.) ECOOP 1998 Workshops. LNCS, vol.\u00a01543, pp. 452\u2013453. Springer, Heidelberg (1998)"},{"key":"15_CR8","unstructured":"Engler, D.R.: Incorporating application semantics and control into compilation. In: USENIX Conference on Domain-Specific Languages (DSL\u201997), pp. 103\u2013118. USENIX (1997), citeseer.ist.psu.edu\/engler97incorporating.html"},{"key":"15_CR9","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":"15_CR10","series-title":"Lecture Notes in Computer Science","first-page":"309","volume-title":"Generative Programming and Component Engineering","author":"Y. Smaragdakis","year":"2005","unstructured":"Smaragdakis, Y., Zook, D., Huang, S.S.: Statically Safe Program Generation with SafeGen. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 309\u2013326. Springer, Heidelberg (2005)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Lacey, D., et al.: Proving correctness of compiler optimizations by temporal logic. Higher-Order and Symbolic Computation\u00a017(2) (2004)","DOI":"10.1023\/B:LISP.0000029444.99264.c0"},{"key":"15_CR12","volume-title":"AspectJ in Action: Practical Aspect-Oriented Programming","author":"R. Laddad","year":"2003","unstructured":"Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich (2003)"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1065167.1065169","volume-title":"PODS \u201905: 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., et al.: Context-sensitive program analysis as database queries. In: PODS \u201905: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, Baltimore, Maryland, pp. 1\u201312. ACM Press, New York (2005)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/1040305.1040335","volume-title":"POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"S. Lerner","year":"2005","unstructured":"Lerner, S., et al.: Automated soundness proofs for dataflow analyses and transformations via local rules. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Long Beach, Ca, USA, pp. 364\u2013377. ACM Press, New York (2005)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-540-40018-9_8","volume-title":"Programming Languages and Systems","author":"H. Masuhara","year":"2003","unstructured":"Masuhara, H., Kawauchi, K.: Dataflow pointcut in aspect-oriented programming. In: Ohori, A. (ed.) APLAS 2003. LNCS, vol.\u00a02895, pp. 105\u2013121. Springer, Heidelberg (2003)"},{"key":"15_CR16","unstructured":"The Eclipse Foundation Inc. The Eclipse extensible development platform."},{"key":"15_CR17","unstructured":"Vall\u00e9e-Rai, R., et al.: SOOT - a Java optimization framework. In: Proceedings of CASCON 1999, pp. 125\u2013135 (1999)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/1134285.1134311","volume-title":"ICSE \u201906: Proceeding of the 28th international conference on Software engineering","author":"M. Verbaere","year":"2006","unstructured":"Verbaere, M., Ettinger, R., de Moor, O.: JunGL: a scripting language for refactoring. In: ICSE \u201906: Proceeding of the 28th international conference on Software engineering, Shanghai, China, pp. 172\u2013181. ACM Press, New York (2006)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-25935-0_13","volume-title":"Domain-Specific Program Generation","author":"E. Visser","year":"2004","unstructured":"Visser, E.: Program transformation with Stratego\/XT: Rules, strategies, tools, and systems in StrategoXT-0. In: Lengauer, C., et al. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 216\u2013238. Springer, Heidelberg (2004)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/11603023_7","volume-title":"Practical Aspects of Declarative Languages","author":"K. Volder De","year":"2005","unstructured":"De Volder, K.: Jquery: A generic code browser with a declarative configuration language. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol.\u00a03819, pp. 88\u2013102. Springer, Heidelberg (2005)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44892-6_17","volume-title":"Middleware 2003","author":"K.C. Yeung","year":"2003","unstructured":"Yeung, K.C., Kelly, P.H.J.: Optimising Java RMI programs by communication restructuring. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.\u00a02672, Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71229-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:17:05Z","timestamp":1605763025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71229-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712282","9783540712299"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71229-9_15","relation":{},"subject":[]}}