Section: Software

The CiME rewrite toolbox

Participants : Évelyne Contejean [ contact ] , Claude Marché, Xavier Urbain.

CiME is a rewriting toolbox. Distributed since 1996 as open source, at URL http://cime.lri.fr . Beyond a few dozens of users, CiME is used as back-end for other tools such as the TALP tool developed by Enno Ohlebusch at Bielefeld university for termination of logic programs; the MU-TERM tool (http://www.dsic.upv.es/~slucas/csr/termination/muterm/ ) for termination of context-sensitive rewriting; the CARIBOO tool (developed at INRIA Nancy Grand-Est) for termination of rewriting under strategies; and the MTT tool (http://www.lcc.uma.es/~duran/MTT/ ) for termination of Maude programs. CiME2 is no longer maintained, and the currently developed version is CiME3, available at http://a3pat.ensiie.fr/pub . The main new feature of CiME3 is the production of traces for Coq . This comes with a Coq library called Coccinelle (http://www.lri.fr/~contejea/Coccinelle ). CiME3 and Coccinelle are also developed by the participants of the A3PAT project at the CNAM, and are distributed under the Cecill-C licence.