{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:54:39Z","timestamp":1725551679101},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309116"},{"type":"electronic","value":"9783540324256"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11601548_8","type":"book-chapter","created":{"date-parts":[[2005,12,10]],"date-time":"2005-12-10T00:39:45Z","timestamp":1134175185000},"page":"88-105","source":"Crossref","is-referenced-by-count":7,"title":["Term Rewriting Meets Aspect-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Paul","family":"Klint","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen","family":"Vinju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"A\u00dfmann, U., Ludwig, A","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-40048-6_3","volume-title":"Generative and Component-Based Software Engineering","author":"U. A\u00dfmann","year":"2000","unstructured":"A\u00dfmann, U., Ludwig, A.: Aspect weaving with graph rewriting. In: Czarnecki, K., Eisenecker, U.W. (eds.) GCSE 1999. A\u00dfmann, U., Ludwig, A, vol.\u00a01799, pp. 24\u201336. Springer, Heidelberg (2000)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0304-3975(89)90006-6","volume":"67","author":"J.C.M. Baeten","year":"1989","unstructured":"Baeten, J.C.M., Bergstra, J.A., Klop, J.W., Weijland, W.P.: Term rewriting systems with rule priorities. Theoretical Computer Science\u00a067, 283\u2013301 (1989)","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Baxter, I., Pidgeon, C., Mehlich, M.: DMS: program transformation and practical scalable software evolution. In: International Conference on Software Engineering (May 2004)","DOI":"10.1109\/ICSE.2004.1317484"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0022-0000(86)90033-4","volume":"32","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra, J.A., Klop, J.W.: Conditional rewrite rules: confluence and termination. Journal of Computer and Systems Sciences\u00a032, 323\u2013362 (1986)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.2000.2876","volume":"159","author":"I. Bethke","year":"2000","unstructured":"Bethke, I., Klop, J.W., de Vrijer, R.: Descendants and origins in term rewriting. Information and Computation\u00a0159, 59\u2013124 (2000)","journal-title":"Information and Computation"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Borovansky, P., Kirchner, C., Kirchner, H., Moreau, P., Ringeissen, C.: An overview of ELAN. In: Kirchner, C., Kirchner, H. (eds.) Second Intl. Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a015 (1998)","DOI":"10.1016\/S1571-0661(05)82552-6"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., Deursen, A.v., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science (2001)","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/S0747-7171(06)80004-0","volume":"15","author":"A. Deursen van","year":"1993","unstructured":"van Deursen, A., Klint, P., Tip, F.: Origin tracking. Journal of Symbolic Computation\u00a015, 523\u2013545 (1993)","journal-title":"Journal of Symbolic Computation"},{"issue":"5","key":"8_CR10","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1093\/comjnl\/38.5.381","volume":"38","author":"S.M. Eker","year":"1995","unstructured":"Eker, S.M.: Associative-commutative matching with bipartite graph matching. Computer Journal\u00a038(5), 381\u2013399 (1995)","journal-title":"Computer Journal"},{"key":"8_CR11","unstructured":"Filman, R., Friedman, D.: Aspect-Oriented Programming is quantification and obliviousness. In: Workshop on Advanced Separation of Concerns at OOPSLA (2000)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-49255-0_118","volume-title":"Object-Oriented Technology. ECOOP \u201998 Workshop Reader","author":"P. Fradet","year":"1998","unstructured":"Fradet, P., S\u00fcdholt, M.: AOP: towards a generic framework using program transformation and analysis. In: Demeyer, S., Bosch, J. (eds.) ECOOP 1998 Workshops. LNCS, vol.\u00a01543, pp. 394\u2013397. Springer, Heidelberg (1998)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/976270.976277","volume-title":"Proceedings of the 3rd international conference on Aspect-oriented software development","author":"J. Gray","year":"2004","unstructured":"Gray, J., Roychoudhury, S.: A technique for constructing aspect weavers using a program transformation engine. In: Proceedings of the 3rd international conference on Aspect-oriented software development, Lancaster, UK, pp. 36\u201345. ACM Press, New York (2004)"},{"issue":"3","key":"8_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/351159.351173","volume":"35","author":"J. Heering","year":"2000","unstructured":"Heering, J., Klint, P.: Semantics of programming languages: A tool-oriented approach. ACM Sigplan Notices\u00a035(3), 39\u201348 (2000)","journal-title":"ACM Sigplan Notices"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-36557-5_17","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"R. Hirschfeld","year":"2003","unstructured":"Hirschfeld, R.: AspectS \u2013 aspect-oriented programming with Squeak. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 216\u2013232. Springer, Heidelberg (2003)"},{"key":"8_CR16","unstructured":"Huet, G., Kahn, G., Paulin-Mohring, C.: The Coq Proof Assistant - A tutorial - Version 8.0 (April 2004), http:\/\/coq.inria.fr"},{"key":"8_CR17","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Workshop on Rule-Based Programming (RULE 2005)","author":"K.T. Kalleberg","year":"2005","unstructured":"Kalleberg, K.T., Visser, E.: Combining aspect-oriented and strategic programming. In: Cirstea, H., Marti-Oliet, N. (eds.) Workshop on Rule-Based Programming (RULE 2005), Nara, Japan, April 2005. Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Amsterdam (2005)"},{"key":"8_CR18","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\u2013353. Springer, Heidelberg (2001)"},{"key":"8_CR19","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., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"8_CR20","unstructured":"Kim, H.: AspectC#: An AOSD implementation for C#. Master\u2019s thesis, Trinity College (November 2002)"},{"issue":"2","key":"8_CR21","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800003907","volume":"11","author":"H. Kirchner","year":"2001","unstructured":"Kirchner, H., Moreau, P.-E.: Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories. Journal of Functional Programming (JFP)\u00a011(2), 207\u2013251 (2001)","journal-title":"Journal of Functional Programming (JFP)"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"Klint, P.: A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology\u00a02(2), 176\u2013201 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR23","unstructured":"L\u00e4mmel, R.: Declarative aspect-oriented programming. In: Danvy, O. (ed.) Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), San Antonio, Texas, January 1999. BRICS Notes Series, vol.\u00a0NS-99-1, pp. 131\u2013146 (1999)"},{"key":"8_CR24","first-page":"12","volume-title":"Proceedings of 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: Proceedings of Aspect-Oriented Software Development, March 2005, p. 12. ACM Press, New York (2005)"},{"key":"8_CR25","first-page":"309","volume-title":"External rewriting for skeptical proof assistants","author":"Q.-H. Nguyen","year":"2002","unstructured":"Nguyen, Q.-H., Kirchner, C., Kirchner, H.: External rewriting for skeptical proof assistants, vol.\u00a029(3\u20134), pp. 309\u2013336. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"8_CR26","unstructured":"Olivier, P.A.: A Framework for Debugging Heterogeneous Applications. PhD thesis, Universiteit van Amsterdam (2000)"},{"issue":"25","key":"8_CR27","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1002\/spe.4380250705","volume":"7","author":"T.J. Parr","year":"1995","unstructured":"Parr, T.J., Quong, R.W.: ANTLR: A predicated-LL(k) parser generator. Software \u2013 Practice & Experience\u00a07(25), 789\u2013810 (1995)","journal-title":"Software \u2013 Practice & Experience"},{"key":"8_CR28","unstructured":"Spinczyk, O., Gal, A., Schr\u00f6der-Preikschat, W.: AspectC++: An aspect-oriented extension to C++. In: Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (February 2002)"},{"key":"8_CR29","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Term Rewriting Systems","author":"Terese","year":"2003","unstructured":"Terese: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol.\u00a055. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/941566.941568","volume":"12","author":"M.G.J. Brand van den","year":"2003","unstructured":"van den Brand, M.G.J., Klint, P., Vinju, J.J.: Term rewriting with traversal functions. ACM Trans. Softw. Eng. Methodol.\u00a012(2), 152\u2013190 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR31","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of Language Descriptions, Tools and Applications (LDTA)","author":"E. Wyk Van","year":"2003","unstructured":"Van Wyk, E.: Aspects as modular language extensions. In: Proc. of Language Descriptions, Tools and Applications (LDTA). Electronic Notes in Theoretical Computer Science, vol.\u00a082.3. Elsevier Science, Amsterdam (2003)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 216\u2013238. Springer, Heidelberg (2004)"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Wu, H., Gray, J., Roychoudhury, S., Mernik, M.: Weaving a debugging aspect into domain-specific language grammars. In: ACM Symposium for Applied Computing (SAC) \u2013 Programming for Separation of Concerns Track, Santa Fe NM (March 2005)","DOI":"10.1145\/1066677.1066986"}],"container-title":["Lecture Notes in Computer Science","Processes, Terms and Cycles: Steps on the Road to Infinity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11601548_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:26:05Z","timestamp":1586597165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11601548_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309116","9783540324256"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11601548_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}