Exceptions in the rewriting calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Exceptions in the rewriting calculus


In the context of the rewriting calculus, we introduce and study an exception mechanism that allows us to express in a simple way rewriting strategies and that is therefore also useful for expressing theorem proving tactics. The proposed exception mechanism is expressed in a confluent calculus which gives the ability to simply express the semantics of the first tactical and to describe in full details the expression of conditional rewriting.
Fichier principal
Vignette du fichier
rhoException.pdf (331.41 Ko) Télécharger le fichier

Dates and versions

inria-00101011 , version 2 (18-09-2006)
inria-00101011 , version 1 (26-09-2006)


  • HAL Id : inria-00101011 , version 2


Germain Faure, Claude Kirchner. Exceptions in the rewriting calculus. 13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, pp.66--82. ⟨inria-00101011v2⟩
118 View
130 Download


Gmail Facebook Twitter LinkedIn More