{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:27:30Z","timestamp":1725481650520},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402541"},{"type":"electronic","value":"9783540448815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44881-0_30","type":"book-chapter","created":{"date-parts":[[2007,3,5]],"date-time":"2007-03-05T11:39:56Z","timestamp":1173094796000},"page":"424-435","source":"Crossref","is-referenced-by-count":3,"title":["Environments for Term Rewriting Engines for Free!"],"prefix":"10.1007","author":[{"given":"Mark","family":"van den Brand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen","family":"Vinju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"issue":"2\u20133","key":"30_CR1","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(97)00021-X","volume":"31","author":"J. Bergstra","year":"1998","unstructured":"J. Bergstra and P. Klint. The discrete time ToolBus \u2014 a software coordination architecture. Science of Computer Programming, 31(2\u20133):205\u2013229, July 1998.","journal-title":"Science of Computer Programming"},{"key":"30_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"CAV 2001","author":"S. Blom","year":"2001","unstructured":"S. Blom, W. Fokkink, J. Groote, I. van Langevelde, B. Lisser, and J. van de Pol. \u03bcCRL: A toolset for analysing algebraic specifications. In G. Berry, H. Comon, and A. Finkel, editors, CAV 2001, volume 2102 of LNCS, pages 250\u2013254. Springer-Verlag, 2001."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of ELAN. In C. Kirchner and H. Kirchner, editors, WRLA, volume 15 of ENTCS. Elsevier Sciences, 1998.","DOI":"10.1016\/S1571-0661(05)82552-6"},{"issue":"4","key":"30_CR4","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/567097.567099","volume":"24","author":"M. Brand v. d.","year":"2002","unstructured":"M. v. d. Brand, J. Heering, P. Klint, and P. Olivier. Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems, 24(4):334\u2013368, 2002.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M. Brand v. d.","year":"2000","unstructured":"M. v. d. Brand, H. d. Jong, P. Klint, and P. Olivier. Efficient Annotated Terms. Software, Practice & Experience, 30:259\u2013291, 2000.","journal-title":"Software, Practice & Experience"},{"key":"30_CR6","unstructured":"M. v. d. Brand, P. Klint, and J. Vinju. Term rewriting with traversal functions. Technical Report SEN-R0121, Centrum voor Wiskunde en Informatica, 2001."},{"key":"30_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction (CC\u201902)","author":"M. Brand v. d.","year":"2002","unstructured":"M. v. d. Brand, J. Scheerder, J. Vinju, and E. Visser. Disambiguation Filters for Scannerless Generalized LR Parsers. In R. N. Horspool, editor, Compiler Construction (CC\u201902), volume 2304 of LNCS, pages 143\u2013158. Springer-Verlag, 2002."},{"key":"30_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-45127-7_8","volume-title":"RTA\u201901","author":"H. Cirstea","year":"2001","unstructured":"H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In A. Middeldorp, editor, RTA\u201901, volume 2051 of LNCS, pages 77\u201392. Springer-Verlag, 2001."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, First international workshop on rewriting logic, volume 4, Asilomar (California), 1996. ENTCS.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"issue":"1","key":"30_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0096-0551(91)90019-6","volume":"16","author":"J. Cordy","year":"1991","unstructured":"J. Cordy, C. Halpern-Hamu, and E. Promislow. TXL: A rapid prototyping system for programming language dialects. Computer Languages, 16(1):97\u2013107, 1991.","journal-title":"Computer Languages"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"A. v. Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996.","DOI":"10.1142\/3163"},{"key":"30_CR12","unstructured":"J. Heering and P. Klint. Term Rewriting Systems, chapter 15, pages 787\u2013808. Cambridge University Press, 2003."},{"key":"30_CR13","unstructured":"H. d. Jong and P. Olivier. Generation of abstract programming interfaces from syntax definitions. Technical Report SEN-R0212, Centrum voor Wiskunde en Informatica (CWI), Aug. 2002."},{"issue":"2","key":"30_CR14","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0898-1221(94)00218-A","volume":"29","author":"D. Kapur","year":"1995","unstructured":"D. Kapur and H. Zhang. An overview of Rewrite Rule Laboratory (RRL). J. Computer and Mathematics with Applications, 29(2):91\u2013114, 1995.","journal-title":"J. Computer and Mathematics with Applications"},{"key":"30_CR15","first-page":"19","volume":"NS-00-6","author":"S. Lassen","year":"2000","unstructured":"S. Lassen, P. Mosses, and D. Watt. An introduction to AN-2, the proposed new version of Action Notation. In Proc. 3rd International Workshop on Action Semantics, volume NS-00-6 of Notes Series, pages 19\u201336. BRICS, 2000.","journal-title":"Proc. 3rd International Workshop on Action Semantics"},{"key":"30_CR16","series-title":"Lect Notes Comput Sci","first-page":"61","volume-title":"12th Conference on Compiler Construction, Warsaw (Poland)","author":"P.-E. Moreau","year":"2003","unstructured":"P.-E. Moreau, C. Ringeissen, and M. Vittek. A Pattern Matching Compiler for Multiple Target Languages. In G. Hedin, editor, 12th Conference on Compiler Construction, Warsaw (Poland), volume 2622 of LNCS, pages 61\u201376. Springer-Verlag, May 2003."},{"key":"30_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-45610-4_26","volume-title":"Rewriting Techniques and Applications","author":"J. Pol v. d.","year":"2002","unstructured":"J. v. d. Pol. JITty: a Rewriter with Strategy Annotations. In S. Tison, editor, Rewriting Techniques and Applications, volume 2378 of LNCS, pages 367\u2013370. Springer-Verlag, 2002."},{"key":"30_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"RTA\u201901","author":"E. Visser","year":"2001","unstructured":"E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, RTA\u201901, volume 2051 of LNCS, pages 357\u2013361. Springer-Verlag, 2001."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44881-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T01:42:51Z","timestamp":1556156571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44881-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402541","9783540448815"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44881-0_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}