The Rewrite Engines Competitions (REC)


The Rewrite Engines Competitions are software competitions organised under the auspices of WRLA (International Workshop on Rewriting Logic and its Applications) to stimulate discussions on applications of term rewrite systems and to make the community aware of implementations of term rewrite engines.

So far, four competitions have been organized:



Access to the SVN repository: https://gforge.inria.fr/scm/?group_id=1234