Termination of Priority Rewriting - Extended version

Isabelle Gnaedig 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Introducing priorities in rewriting increases the expressive power of rules and helps to limit computations. Priority rewriting is used in rule-based programming as well as in functional programming. Termination of priority rewriting is then important to guarantee that programs give a result. We describe an inductive proof method for termination of priority rewriting, relying on an explicit induction on the termination property and working by generating proof trees, which model the rewriting relation by using abstraction and narrowing.
Type de document :
Rapport
[Research Report] 2008
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00349031
Contributeur : Isabelle Gnaedig <>
Soumis le : mardi 31 mars 2009 - 21:32:50
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : samedi 26 novembre 2016 - 07:02:22

Fichier

version-hal-lata.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00349031, version 2

Collections

Citation

Isabelle Gnaedig. Termination of Priority Rewriting - Extended version. [Research Report] 2008. 〈inria-00349031v2〉

Partager

Métriques

Consultations de la notice

221

Téléchargements de fichiers

74