Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition

Hubert Garavel, Mohammad-Ali Tabikh, and Imad-Seddik Arrada

Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), Thessaloniki, Greece, volume 11152 of Lecture Notes in Computer Science, pages 1-25, April 2018

Abstract: Many specification and programming languages have adopted term rewriting and pattern matching as a key feature. However, implementation techniques and observed performance greatly vary across languages and tools. To provide for an objective comparison, we developed an open, experimental platform based upon the ideas of the three Rewrite Engines Competitions (2006, 2008, and 2010), which we significantly enhanced, extended, and automated. We used this platform to benchmark interpreters and compilers for a number of algebraic, functional, and object-oriented languages, and we report about the results obtained for CafeOBJ, Clean, Haskell, LNT, LOTOS, Maude, mCRL2, OCaml, Opal, Rascal, Scala, SML (MLton and SML-NJ), Stratego/XT, and Tom.

28 pages

PDF

PostScript

Slides of H. Garavel's lecture at WRLA 2018

PDF

ERRATA [October 8, 2018]

• In the Acknowledgements section, "Davy Langman" should read "Davy Landman". Apologies for this typo.