{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:06Z","timestamp":1747546926032,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662013"},{"type":"electronic","value":"9783540486855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48685-2_3","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:41Z","timestamp":1269897221000},"page":"30-44","source":"Crossref","is-referenced-by-count":12,"title":["Strategic Pattern Matching"],"prefix":"10.1007","author":[{"given":"Eelco","family":"Visser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,5]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"A. Aiken and B. Murphy. Implementing regular tree expressions. In Functional Programming and Computer Architecture (FPCA\u201991), pages 427\u2013447, Aug. 1991.","DOI":"10.1007\/3540543961_21"},{"key":"3_CR2","unstructured":"W. E. Aitken and J. H. Reppy. Abstract value constructors. In ACM SIGPLAN Workshop on ML and its Applications, pages 1\u201311, San Francisco, Cal., June 1992."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. In J. Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar, Pacific Grove, CA, September 1996. Elsevier.","DOI":"10.1016\/S1571-0661(04)00039-8"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1017\/S095679680000068X","volume":"3","author":"F. W. Burton","year":"1993","unstructured":"F. W. Burton and R. D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171\u2013190, April 1993.","journal-title":"Journal of Functional Programming"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65\u201389, Asilomar, Pacific Grove, CA, September 1996. Elsevier.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"3_CR6","unstructured":"J. R. Cordy, I. H. Carmichael, and R. Halliday. The TXL Programming Language, Version 8, Apr. 1995."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"A. Van Deursen, J. Heering, and P. Klint, editors. Language Prototyping. An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, Singapore, September 1996.","DOI":"10.1142\/3163"},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","first-page":"21","volume-title":"Implementation of Functional Languages","author":"M. Erwig","year":"1996","unstructured":"M. Erwig. Active patterns. In Implementation of Functional Languages, volume 1268 of Lecture Notes in Computer Science, pages 21\u201340, 1996."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"M. F\u00e4hndrich and J. Boyland. Statically checkable pattern abstractions. In International Conference on Functional Programming (ICFP\u201997), pages 75\u201384, Amsterdam, The Netherlands, June 1997. ACM SIGPLAN.","DOI":"10.1145\/258948.258957"},{"key":"3_CR10","series-title":"Technical Report","volume-title":"Pattern-Based Languages for Prototyping of Compiler Optimizers","author":"C. D. Farnum","year":"1990","unstructured":"C. D. Farnum. Pattern-Based Languages for Prototyping of Compiler Optimizers. PhD thesis, University of California, Berkeley, 1990. Technical Report CSD-90-608."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"J. Heering. Second-order term rewriting specification of static semantics: An exercise. In Van Deursen et al. [7], chapter 8, pages 295\u2013305.","DOI":"10.1142\/9789812830043_0008"},{"key":"3_CR12","unstructured":"P. Johann and E. Visser. Warm fusion in Stratego. A case study in generation of program transformation systems. Technical report, Department of Computer Science, Universiteit Utrecht, 1999. http:\/\/www.cs.uu.nl\/~visser\/stratego\/ ."},{"key":"3_CR13","unstructured":"C. Kirchner, H. Kirchner, and M. Vittek. Implementing computational systems with constraints. In P. Kanellakis, J.-L. Lassez, and V. Saraswat, editors, Proceedings of the first Workshop on Principles and Practice of Constraint Programming, pages 166\u2013175, Providence R.I., USA, 1993. Brown University."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"B. Luttik and E. Visser. Specification of rewriting strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF\u201997), Electronic Workshops in Computing, Berlin, November 1997. Springer-Verlag.","DOI":"10.14236\/ewic\/AL1997.9"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0096-0551(93)90031-U","volume":"19","author":"A. Malton","year":"1993","unstructured":"A. Malton. The denotational semantics of a functional tree-manipulation language. Computer Languages, 19(3):157\u2013168, 1993.","journal-title":"Computer Languages"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"M. Mohnen. Context patterns, part ii. In Implementation of Functional Languages, pages 338\u2013357, 1997.","DOI":"10.1007\/BFb0055440"},{"key":"3_CR17","unstructured":"G. Nadathur and D. Miller. An overview of \u03bbProlog. In R. A. Kowalski, editor, Logic Programming. Proceedings of the Fifth International Conference and Symposium, volume 1, pages 810\u2013827, Cambridge, Mass., USA, 1988. MIT Press."},{"key":"3_CR18","unstructured":"C. Okasaki. Views for Standard ML. In SIGPLANWorkshop on ML, pages 14\u201323, Baltimore, Maryland, USA, September 1998."},{"key":"3_CR19","unstructured":"P. A. Olivier and H. A. de Jong. Efficient annotated terms. Technical report, Programming Research Group, University of Amsterdam, August 1998."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"M. P. A. Sellink and C. Verhoef. Native patterns. In M. Blaha, A. Quilici, and C. Verhoef, editors, Proceedings of the 5-th Working Conference on Reverse Engineering (WCRE\u201998), pages 89\u2013103, Honolulu, Hawaii, USA, October 1998.","DOI":"10.1109\/WCRE.1998.723179"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"S. Thompson. Laws in Miranda. In ACM Symposium on Lisp and Functional Programming, pages 1\u201312. ACM, August 1986.","DOI":"10.1145\/319838.319839"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"E. Visser and Z.-e.-A. Benaissa. A core language for rewriting. In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications (WRLA\u201998), Electronic Notes in Theoretical Computer Science, Pont-\u00e0-Mousson, France, September 1-4 1998. Elsevier.","DOI":"10.1016\/S1571-0661(05)80027-1"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In International Conference on Functional Programming (ICFP\u201998), pages 13\u201326, Baltimore, Maryland, September 1998. ACM.","DOI":"10.1145\/289423.289425"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"P. Wadler. Views: A way for pattern matching to cohabit with data abstraction. In ACM Symposium on Principles of Programming Languages, pages 307\u2013313, Munich, January 1987. ACM.","DOI":"10.1145\/41625.41653"}],"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-48685-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:15:29Z","timestamp":1739992529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48685-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662013","9783540486855"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48685-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}