The Rewrite Engines Competitions: A RECtrospective - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

The Rewrite Engines Competitions: A RECtrospective


Term rewriting is a simple, yet expressive model of computation, which finds direct applications in specification and programming languages (many of which embody rewrite rules, pattern matching, and abstract data types), but also indirect applications, e.g., to express the semantics of data types or concurrent processes, to specify program transformations, to perform computer-aided verification, etc. The Rewrite Engines Competition (REC) was created under the aegis of the Workshop on Rewriting Logic and its Applications (WRLA) to serve three main goals: (i) being a forum in which tool developers and potential users of term rewrite engines can share experience; (ii) bringing together the various language features and implementation techniques used for term rewriting; and (iii) comparing the available term rewriting languages and tools in their common features. The present article provides a retrospective overview of the four editions of the Rewrite Engines Competition (2008, 2010, and 2018) and traces their evolution over time.
Fichier principal
Vignette du fichier
Duran-Garavel-19.pdf (200.54 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02133649 , version 1 (19-05-2019)



Francisco Durán, Hubert Garavel. The Rewrite Engines Competitions: A RECtrospective. Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part III: TOOLympics, Apr 2019, Prague, Czech Republic. pp.1-9, ⟨10.1007/978-3-030-17502-3⟩. ⟨hal-02133649⟩
176 View
189 Download



Gmail Mastodon Facebook X LinkedIn More