E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA'07), vol.4533, pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045

D. Beyer, S. Löwe, and P. Wendler, Benchmarking and Resource Measurement-Application to Automatic Verification, Proceedings of the 22nd International Symposium on Model Checking Software (SPIN'15), vol.9232, pp.160-178, 2015.
DOI : 10.1007/978-3-319-23404-5_12

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17-A Language and Toolset for Program Transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, C. Mckinty et al., Reference Manual of the LNT to LOTOS Translator (Version 6.6). INRIA, 2017.

M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln et al., , 2016.

G. Denker, C. L. Talcott, and G. Rosu, Mark van den Brand, Steven Eker, and Traian-Florin Serbanuta. Rewriting Logic Systems. Electronic Notes in Theoretical Computer Science, vol.176, issue.4, pp.233-247, 2007.

R. Diaconescu and K. Futatsugi, CafeOBJ Report-The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing. World Scientific, vol.6, 1998.

K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper, OPAL: Design and Implementation of an Algebraic Programming Language, Proceedings of the International Conference on Programming Languages and System Architectures, vol.782, pp.228-244, 1994.

F. Durán, M. Roldán, J. Bach, E. Balland, M. Van-den et al., The Third Rewrite Engines Competition, Proceedings of the 8th International Workshop H. Garavel

, Benchmarking Implementations of Term Rewriting

, on Rewriting Logic and Its Applications (WRLA'10), pp.243-261, 2010.

F. Durán, M. Roldán, E. Balland, M. Van-den, S. Brand et al., The Second Rewrite Engines Competition, Electronic Notes in Theoretical Computer Science, vol.238, issue.3, pp.281-291, 2009.

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1-Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol.6, 1985.

H. Garavel, Compilation of LOTOS Abstract Data Types, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89, pp.147-162, 1989.

H. Garavel, On the Most Suitable Axiomatization of Signed Integers, Post-proceedings of the 23rd International Workshop on Algebraic Development Techniques (WADT'16)
URL : https://hal.archives-ouvertes.fr/hal-01667321

. Gregynog and U. K. Wales, Lecture Notes in Computer Science, vol.10644, pp.120-134, 2017.

H. Garavel, F. Lang, and R. Mateescu, Compiler Construction using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction (CC'02), vol.2304, pp.9-13, 2002.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd-Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and L. Marsso, A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm, Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), vol.244, pp.129-183, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01511859

H. Garavel,

, Benchmarking Implementations of Term Rewriting

H. Garavel and P. C. Turlier, ADT : un compilateur pour les types abstraits algébriques du langage LOTOS, Actes du Colloque Francophone pour l'Ingénierie des Protocoles (CFIP'93), pp.325-339, 1993.

J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs et al., Proving Termination of Programs Automatically with AProVE, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR'14), vol.8562, pp.184-191, 2014.

J. Friso-groote and M. R. Mousavi, Modeling and Analysis of Communicating Systems, 2014.

A. E. Howe and E. Dahlman, A Critical Assessment of Benchmark Comparison in Planning, Journal of Artificial Intelligence Research, vol.17, pp.1-33, 2002.

. 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, 1989.

J. Martin-jansen, P. W. Koopman, and R. Plasmeijer, From Interpretation to Compilation, Revised Selected Lectures of the 2nd Central European Functional Programming School, pp.286-301, 2007.

C. Kop, A. Middeldorp, and T. Sternagel, Complexity of Conditional Term Rewriting, Logical Methods in Computer Science, vol.13, issue.1, 2017.

F. Kordon and F. Hulin-hubard, BenchKit, a Tool for Massive Concurrent Benchmarking, Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD'14), pp.159-165, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091157

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The OCaml System Release 4.04-Documentation and User's Manual. INRIA, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00930213

A. Leung, Nowhere: A Pattern Matching Tool for Standard ML-Version 1.1 Manual, 2000.

H. Garavel,

, Benchmarking Implementations of Term Rewriting

R. Mateescu and H. Garavel, XTL: A Meta-Language and Tool for Temporal Logic Model-Checking, Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT'98), pp.33-42, 1998.

F. Mazzanti and A. Ferrari, Ten Diverse Formal Models for a CBTC Automatic Train Supervision System, 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'18), vol.268, pp.104-149, 2018.

A. Middeldorp and E. Hamoen, Completeness Results for Basic Narrowing. Applicable Algebra in Engineering, Communication and Computing, vol.5, pp.213-253, 1994.

R. Milner, M. Tofte, R. Harper, and D. Macqueen, Definition of Standard ML (Revised), 1997.

M. Odersky, P. Altherr, V. Cremet, G. Dubochet, B. Emir et al., Adriaan Moors, Lukas Rytz, Michel Schinz, Erik Stenman, and Matthias Zenger. The Scala Language Specification-Version 2.11, 2016.

P. Pepper and F. Lorenzen, The Programming Language Opal-6th Corrected Edition, 2012.

R. Plasmeijer, J. Marko-van-eekelen, and . Van-groningen, Clean Version 2.2 Language Report. Department of Software Technology, 2011.

O. Ponsini, C. Fédèle, and E. Kounalis, Rewriting of Imperative Programs into Logical Equations, Science of Computer Programming, vol.56, issue.3, pp.363-401, 2005.

P. Schnoebelen, Refined Compilation of Pattern-Matching for Functional Languages, Science of Computer Programming, vol.11, pp.133-159, 1988.

R. Stansifer, Imperative versus Functional. SIGPLAN Notices, vol.25, pp.69-72, 1990.
DOI : 10.1145/987481.987487

J. Simon and . Thompson, Laws in Miranda, Proceedings of the ACM Conference on LISP and Functional Programming (LFP'86), pp.1-12, 1986.

H. Garavel,

, Benchmarking Implementations of Term Rewriting

J. Van-de-pol, Just-in-time, On Strategy Annotations. Electronic Notes in Theoretical Computer Science, vol.57, pp.41-63, 2001.

J. Van-de-pol, JITty: A Rewriter with Strategy Annotations, Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA'02), vol.2378, pp.367-370, 2002.

J. Van-den-bos, M. Hills, P. Klint, T. Van-der, J. J. Storm et al., Rascal: From Algebraic Specification to Meta-Programming
URL : https://hal.archives-ouvertes.fr/hal-00644689

, Proceedings of the 2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE'11), vol.56, pp.15-32, 2011.

M. Van-den-brand, P. Klint, and P. A. Olivier, Compilation and Memory Management for ASF+SDF, Proceedings of the 8th International Conference on Compiler Construction (CC'99), vol.1575, pp.198-213, 1999.

. Muck-van-weerdenburg, An Account of Implementing Applicative Term Rewriting. Electronic Notes in Theoretical Computer Science, vol.174, issue.10, pp.139-155, 2007.