The Rewrite Engines Competitions: A RECtrospective

Francisco Durán 1 Hubert Garavel 2
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-02133649
Contributor : Hubert Garavel <>
Submitted on : Sunday, May 19, 2019 - 12:23:53 PM
Last modification on : Thursday, December 19, 2019 - 6:10:51 PM

File

Duran-Garavel-19.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

115

Files downloads

428