{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:16Z","timestamp":1725511816982},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696087"},{"type":"electronic","value":"9783540696117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69611-7_21","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T09:40:18Z","timestamp":1177580418000},"page":"320-334","source":"Crossref","is-referenced-by-count":8,"title":["Partial Evaluation of Pointcuts"],"prefix":"10.1007","author":[{"given":"Karl","family":"Klose","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/1094811.1094839","volume-title":"Proceedings of OOPSLA 2005","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, J., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: Proceedings of OOPSLA 2005, pp. 345\u2013364. ACM Press, New York (2005)"},{"key":"21_CR2","unstructured":"AspectJ Home Page, \n \n http:\/\/www.eclipse.org\/aspectj\/"},{"key":"21_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1007\/978-3-540-30227-8_64","volume-title":"Logics in Artificial Intelligence","author":"M. Calejo","year":"2004","unstructured":"Calejo, M.: Interprolog: Towards a declarative embedding of logic programming in java. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 714\u2013717. Springer, Heidelberg (2004)"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/976270.976284","volume-title":"Proceedings of AOSD 2004","author":"S. Chiba","year":"2004","unstructured":"Chiba, S., Nakagawa, K.: Josh: An open aspectj-like language. In: Proceedings of AOSD 2004, pp. 102\u2013111. ACM Press, New York (2004)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_25","volume-title":"Programming Languages and Systems","author":"M. Eichberg","year":"2004","unstructured":"Eichberg, M., Mezini, M., Ostermann, K.: Pointcuts as functional queries. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302. Springer, Heidelberg (2004)"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/WCRE.2004.45","volume-title":"Eleventh Working Conference on Reverse Engineering","author":"M. Eichberg","year":"2004","unstructured":"Eichberg, M., Mezini, M., Ostermann, K., Sch\u00e4fer, T.: Xirc: A kernel for cross-artifact information engineering in software development environments. In: Werner, B. (ed.) Eleventh Working Conference on Reverse Engineering, Delft, Netherlands, November 2004, pp. 182\u2013191. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/1094811.1094841","volume-title":"Proceedings of OOPSLA 2005","author":"S. Goldsmith","year":"2005","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: Proceedings of OOPSLA 2005, pp. 385\u2013402. ACM Press, New York (2005)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/643603.643610","volume-title":"AOSD 2003 Proceedings","author":"K. Gybels","year":"2003","unstructured":"Gybels, K., Brichau, J.: Arranging Language Features for More Robust Pattern-Based Crosscuts. In: AOSD 2003 Proceedings, pp. 60\u201369. ACM Press, New York (2003)"},{"key":"21_CR9","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001","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\u2013353. Springer, Heidelberg (2001)"},{"key":"21_CR11","unstructured":"Klose, K., Ostermann, K.: Back to the future: Pointcuts as predicates over traces. In: Foundations of Aspect-Oriented Languages workshop (FOAL 2005), Chicago, USA (2005)"},{"key":"21_CR12","volume-title":"Program Development in Computational Logic","author":"M. Leuschel","year":"2004","unstructured":"Leuschel, M., Craig, S., Bruynooghe, M., Vanhoof, W.: Specializing interpreters using offline partial deduction. In: Maurice Bruynooghe, K.-K.L. (ed.) Program Development in Computational Logic. Springer, Heidelberg (2004)"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1017\/S1471068403001662","volume":"4","author":"M. Leuschel","year":"2004","unstructured":"Leuschel, M., J\u00f8rgensen, J., Vanhoof, W., Bruynooghe, M.: Offline specialisation in Prolog using a hand-written compiler generator. Theory and Practice of Logic Programming\u00a04(1), 139\u2013191 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1094811.1094840","volume-title":"Proceedings of OOPSLA 2005","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using PQL: A program query language. In: Proceedings of OOPSLA 2005, pp. 365\u2013383. ACM Press, New York (2005)"},{"key":"21_CR15","volume-title":"Proceedings of CC 2003","author":"H. Masuhara","year":"2003","unstructured":"Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model for aspect-oriented programs. In: Proceedings of CC 2003. Springer, Heidelberg (2003)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2005","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. Springer, Heidelberg (2005)"},{"key":"21_CR17","volume-title":"Proceedings of AOSD 2003","author":"D. Sereni","year":"2003","unstructured":"Sereni, D., de Moor, O.: Static analysis of aspects. In: Proceedings of AOSD 2003. ACM, New York (2003)"},{"issue":"1\u20133","key":"21_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: An efficient purely declarative logic programming language. Journal of Logic Programming\u00a029(1\u20133), 17\u201364 (1996)","journal-title":"Journal of Logic Programming"},{"key":"21_CR19","unstructured":"Walker, R.J., Viggers, K.: Communication history patterns: Direct implementations of protocol specifications. Technical report, University of Calgary (2004)"},{"issue":"5","key":"21_CR20","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. TOPLAS 2004\u00a026(5), 890\u2013910 (2004)","journal-title":"TOPLAS 2004"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Wang, Q., Gupta, G., Leuschel, M.: Towards provably correct code generation via Horn logical continuation semantics. In: Proceedings of PADL 2005, pp. 98\u2013112 (2005)","DOI":"10.1007\/978-3-540-30557-6_9"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-36388-2_21","volume-title":"Practical Aspects of Declarative Languages","author":"Q. Zhou","year":"2002","unstructured":"Zhou, Q., Tarau, P.: Garbage Collection Algorithms for Java-Based Prolog Engines. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 304\u2013320. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69611-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:01:46Z","timestamp":1605762106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69611-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540696087","9783540696117"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69611-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}