Exceptions in the rewriting calculus (2001)
by
Germain Faure
,
Claude Kirchner
| Venue: | PART I AND II. LOGIC JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS |
| Citations: | 59 - 25 self |
BibTeX
@INPROCEEDINGS{Faure01exceptionsin,
author = {Germain Faure and Claude Kirchner},
title = {Exceptions in the rewriting calculus},
booktitle = {PART I AND II. LOGIC JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS},
year = {2001},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. This gives us the ability to simply express the semantics of the first tactical and to describe in full details the expression of conditional rewriting.
Citations
| 874 | A theory of type polymorphism in programming - Milner - 1978 |
| 94 | An overview of elan - Borovansk, Kirchner, et al. - 1998 |
| 36 | J.V.: Experience with embedding hardware description languages in HOL - Boulton, Gordon, et al. - 1992 |
| 28 | The Matching Power - Cirstea, Kirchner, et al. - 2001 |
| 21 | Calcul de réécriture : fondements et applications. Thèse de Doctorat d’Université, Université Henri Poincaré – Nancy 1 - Cirstea - 2000 |
| 3 | Certifying term rewriting proof in elan - Nguyen - 2001 |
| 1 | Objects, rules and strategies in ELAN - Dubois, Kirchner |
| 1 | A rationale for conditional equational programming - Processing, Iowa, et al. - 1990 |
| 1 | Etude des propriétés du calcul de réécriture: du ρ∅calcul au ρε-calcul. Rapport, LORIA and ENS-Lyon - Faure - 2001 |
| 1 | langage Caml - Le - 1996 |
