Skip to Main content Skip to Navigation
Conference papers

The Rewrite Engines Competitions: A RECtrospective

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 metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Hubert Garavel Connect in order to contact the contributor
Submitted on : Sunday, May 19, 2019 - 12:23:53 PM
Last modification on : Wednesday, October 27, 2021 - 7:21:23 AM


Files produced by the author(s)





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⟩



Record views


Files downloads