{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:49:41Z","timestamp":1778914181093,"version":"3.51.4"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319998398","type":"print"},{"value":"9783319998404","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99840-4_1","type":"book-chapter","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T11:29:08Z","timestamp":1536319748000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad-Ali","family":"Tabikh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Imad-Seddik","family":"Arrada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,8]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73449-9_5","volume-title":"Term Rewriting and Applications","author":"E Balland","year":"2007","unstructured":"Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., Reilles, A.: Tom: piggybacking rewriting on Java. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 36\u201347. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73449-9_5"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-319-23404-5_12","volume-title":"Model Checking Software","author":"D Beyer","year":"2015","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Benchmarking and resource measurement \u2013 Application to automatic verification. In: Fischer, B., Geldenhuys, J. (eds.) SPIN 2015. LNCS, vol. 9232, pp. 160\u2013178. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23404-5_12"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"van den Bos, J., Hills, M., Klint, P., van der Storm, T., Vinju, J.J.: Rascal: from algebraic specification to meta-programming. In: Dur\u00e1n, F., Rusu, V. (eds.) Proceedings of the 2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE 2011), Zurich, Switzerland. Electronic Proceedings in Theoretical Computer Science, vol. 56, pp. 15\u201332, June 2011","DOI":"10.4204\/EPTCS.56.2"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-49051-7_14","volume-title":"Compiler Construction","author":"M Brand van den","year":"1999","unstructured":"van den Brand, M., Klint, P., Olivier, P.: Compilation and memory management for ASF+SDF. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol. 1575, pp. 198\u2013213. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-540-49051-7_14"},{"issue":"1\u20132","key":"1_CR5","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17 - a language and toolset for program transformation. Sci. Comput. Program. 72(1\u20132), 52\u201370 (2008)","journal-title":"Sci. Comput. Program."},{"key":"1_CR6","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LNT to LOTOS Translator (Version 6.6), INRIA, Grenoble, France, February 2017"},{"key":"1_CR7","unstructured":"Clavel, M., et al.: Maude Manual (Version 2.7.1), July 2016"},{"issue":"4","key":"1_CR8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.entcs.2007.06.018","volume":"176","author":"G Denker","year":"2007","unstructured":"Denker, G., Talcott, C.L., Rosu, G., van den Brand, M., Eker, S., Serbanuta, T.: Rewriting logic systems. Electronic Notes Theor. Comput. Sci. 176(4), 233\u2013247 (2007)","journal-title":"Electronic Notes Theor. Comput. Sci."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol. 6. World Scientific (1998)","DOI":"10.1142\/3831"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-57840-4_34","volume-title":"Programming Languages and System Architectures","author":"K Didrich","year":"1994","unstructured":"Didrich, K., Fett, A., Gerke, C., Grieskamp, W., Pepper, P.: OPAL: Design and implementation of an algebraic programming language. In: Gutknecht, J. (ed.) Programming Languages and System Architectures. LNCS, vol. 782, pp. 228\u2013244. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-57840-4_34"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-16310-4_16","volume-title":"Rewriting Logic and Its Applications","author":"F Dur\u00e1n","year":"2010","unstructured":"Dur\u00e1n, F., et al.: The third rewrite engines competition. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol. 6381, pp. 243\u2013261. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16310-4_16"},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.entcs.2009.05.025","volume":"238","author":"F Dur\u00e1n","year":"2009","unstructured":"Dur\u00e1n, F., et al.: The second rewrite engines competition. Electron. Notes Theor. Comput. Sci. 238(3), 281\u2013291 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol. 6. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69962-7","DOI":"10.1007\/978-3-642-69962-7"},{"key":"1_CR14","unstructured":"Garavel, H.: Compilation of LOTOS Abstract Data Types. In: Vuong, S.T. (ed.) Proceedings of the 2nd International Conference on Formal Description Techniques FORTE 1989, Vancouver B.C., Canada, pp. 147\u2013162. North-Holland, December 1989"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-319-72044-9_9","volume-title":"Recent Trends in Algebraic Development Techniques","author":"H Garavel","year":"2017","unstructured":"Garavel, H.: On the most suitable axiomatization of\u00a0signed\u00a0integers. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 120\u2013134. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72044-9_9"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/3-540-45937-5_3","volume-title":"Compiler Construction","author":"H Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compiler construction using LOTOS NT. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 9\u201313. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45937-5_3"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transfer (STTT) 15(2), 89\u2013107 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer (STTT)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-68270-9_1","volume-title":"ModelEd, TestEd, TrustEd","author":"H Garavel","year":"2017","unstructured":"Garavel, H., Lang, F., Serwe, W.: From LOTOS to LNT. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 3\u201326. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_1"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Garavel, H., Marsso, L.: A large term rewrite system modelling a pioneering cryptographic algorithm. In: Hermanns, H., H\u00f6fner, P. (eds.) Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden. Electronic Proceedings in Theoretical Computer Science, vol. 244, pp. 129\u2013183, April 2017","DOI":"10.4204\/EPTCS.244.6"},{"key":"1_CR20","unstructured":"Garavel, H., Turlier, P.: C\u00c6SAR.ADT : un compilateur pour les types abstraits alg\u00e9briques du langage LOTOS. In: Dssouli, R., von Bochmann, G. (eds.) Actes du Colloque Francophone pour l\u2019Ing\u00e9nierie des Protocoles (CFIP 1993), Montr\u00e9al, Canada. pp. 325\u2013339. Herm\u00e8s, Paris, September 1993"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-319-08587-6_13","volume-title":"Automated Reasoning","author":"J Giesl","year":"2014","unstructured":"Giesl, J., et al.: Proving termination of programs automatically with AProVE. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol. 8562, pp. 184\u2013191. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08587-6_13"},{"key":"1_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9946.001.0001","volume-title":"Modeling and Analysis of Communicating Systems","author":"J Groote","year":"2014","unstructured":"Groote, J., Mousavi, M.: Modeling and Analysis of Communicating Systems. The MIT Press, Cambridge (2014)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.935","volume":"17","author":"AE Howe","year":"2002","unstructured":"Howe, A.E., Dahlman, E.: A critical assessment of benchmark comparison in planning. J. Artif. Intell. Res. 17, 1\u201333 (2002)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR24","unstructured":"ISO\/IEC: LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva, September 1989"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-88059-2_8","volume-title":"Central European Functional Programming School","author":"JM Jansen","year":"2008","unstructured":"Jansen, J.M., Koopman, P., Plasmeijer, R.: From interpretation to compilation. In: Horv\u00e1th, Z., Plasmeijer, R., So\u00f3s, A., Zs\u00f3k, V. (eds.) CEFP 2007. LNCS, vol. 5161, pp. 286\u2013301. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88059-2_8"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Kop, C., Middeldorp, A., Sternagel, T.: Complexity of Conditional Term Rewriting. Logical Methods Comput. Sci. 13(1) (2017)","DOI":"10.23638\/LMCS-13(1:6)2017"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Kordon, F., Hulin-Hubard, F.: BenchKit, a tool for massive concurrent benchmarking. In: Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis La Marsa, Tunisia, pp. 159\u2013165. IEEE Computer Society, June 2014","DOI":"10.1109\/ACSD.2014.12"},{"key":"1_CR28","unstructured":"Leroy, X., Doligez, D., Frisch, A., Garrigue, J., R\u00e9my, D., Vouillon, J.: The OCaml System Release 4.04 - Documentation and User\u2019s Manual. INRIA, Paris, France, March 2016"},{"key":"1_CR29","unstructured":"Leung, A.: Nowhere: A Pattern Matching Tool for Standard ML - Version 1.1 Manual. New York University, NY (2000)"},{"key":"1_CR30","unstructured":"Marlow, S. (ed.): Haskell 2010 Language Report, April 2010"},{"key":"1_CR31","unstructured":"Mateescu, R., Garavel, H.: XTL: a meta-language and tool for temporal logic model-checking. In: Margaria, T. (ed.) Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT 1998), Aalborg, Denmark, pp. 33\u201342. BRICS, July 1998"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Mazzanti, F., Ferrari, A.: Ten diverse formal models for a CBTC automatic train supervision system. In: Gallagher, J.P., van Glabbeek, R., Serwe, W. (eds.) Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation (MARS\/VPT 2018), Thessaloniki, Greece. Electronic Proceedings in Theoretical Computer Science, vol. 268, pp. 104\u2013149, April 2018","DOI":"10.4204\/EPTCS.268.4"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF01190830","volume":"5","author":"A Middeldorp","year":"1994","unstructured":"Middeldorp, A., Hamoen, E.: Completeness results for basic narrowing. Appl. Algebra Eng. Commun. Comput. 5, 213\u2013253 (1994)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: Definition of Standard ML (Revised). MIT Press, May 1997","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"1_CR35","unstructured":"Odersky, M., et al.: The Scala Language Specification - Version 2.11. Programming Methods Laboratory. EPFL, Switzerland, March 2016"},{"key":"1_CR36","unstructured":"Pepper, P., Lorenzen, F. (eds.): The Programming Language Opal - 6th Corrected Edition. Department of Software Engineering and Theoretical Computer Science, Technische Universit\u00e4t Berlin, Germany, October 2012"},{"key":"1_CR37","unstructured":"Plasmeijer, R., van Eekelen, M., van Groningen, J.: Clean Version 2.2 Language Report. Department of Software Technology, University of Nijmegen, The Netherlands, December 2011"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S1571-0661(04)00267-1","volume":"57","author":"J Pol van de","year":"2001","unstructured":"van de Pol, J.: Just-in-time: on strategy annotations. Electron. Notes Theor. Comput. Sci. 57, 41\u201363 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-45610-4_26","volume-title":"Rewriting Techniques and Applications","author":"J Pol","year":"2002","unstructured":"Pol, J.: JITty: a rewriter with strategy annotations. In: Tison, S. (ed.) RTA 2002. LNCS, vol. 2378, pp. 367\u2013370. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45610-4_26"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Ponsini, O., F\u00e9d\u00e8le, C., Kounalis, E.: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3), 363\u2013401 (2005)","DOI":"10.1016\/j.scico.2004.10.001"},{"key":"1_CR41","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-6423(88)90002-0","volume":"11","author":"P Schnoebelen","year":"1988","unstructured":"Schnoebelen, P.: Refined compilation of pattern-matching for functional languages. Sci. Comput. Program. 11, 133\u2013159 (1988)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"1_CR42","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/987481.987487","volume":"25","author":"R Stansifer","year":"1990","unstructured":"Stansifer, R.: Imperative versus functional. SIGPLAN Not. 25(4), 69\u201372 (1990)","journal-title":"SIGPLAN Not."},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Thompson, S.J.: Laws in Miranda. In: Scherlis, W.L., Williams, J.H., Gabriel, R.P. (eds.) Proceedings of the ACM Conference on LISP and Functional Programming (LFP 1986), Cambridge, Massachusetts, USA, pp. 1\u201312 (1986)","DOI":"10.1145\/319838.319839"},{"issue":"10","key":"1_CR44","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2007.02.049","volume":"174","author":"M Weerdenburg van","year":"2007","unstructured":"van Weerdenburg, M.: An account of implementing applicative term rewriting. Electron. Notes Theor. Comput. Sci. 174(10), 139\u2013155 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99840-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T23:47:52Z","timestamp":1751845672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99840-4_1"}},"subtitle":["The 4th Rewrite Engines Competition"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319998398","9783319998404"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}