The Rewrite Engines Competitions: A RECtrospective

Francisco Durán (1) , Hubert Garavel (2)

1 Universidad de Málaga [Málaga] = University of Málaga [Málaga]
2 CONVECS - Construction of verified concurrent systems

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.

Mots clés: specification language; interpreter; programming language; Abstract data type; object-oriented programming; functional programming; term rewrite engine; term rewrite system; algebraic specification; compiler

Domaines: Algorithme et structure de données [cs.DS]; Langage de programmation [cs.PL]; Théorie et langage formel [cs.FL]; Logique en informatique [cs.LO]

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⟩