Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les rapports de recherche du LIFO en 2017

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Accéder aux Rapports de l'année : 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017

Les rapports de recherche du LIFO en 2017


RR-2017-01 Transforming Prefix-Constrained or Controlled Rewrite Systems
Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty
Date : 2017-02-03
Résumé Télécharger


Résumés des rapports de recherche


RR-2017-01 Transforming Prefix-Constrained or Controlled Rewrite Systems
Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty
Résumé : We present two techniques for transforming any prefix-cons\-trained and any controlled term rewrite system into an ordinary rewrite system. We prove that both transformations preserve the rewrite computations, and preserve termination. In this way, prefix-constrained rewriting and controlled rewriting can be run, and termination can be checked, using the usual tools for ordinary rewriting.
Mot(s) Clé(s) : controlled rewriting, prefix constrained rewriting, tree automaton.