Modeling reducibility on ground terms using constraints

Isabelle Gnaedig 1, * Hélène Kirchner 2
* Auteur correspondant
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : In this note, we explain how to model (ir)reducibility of rewriting on ground terms using (dis)equational constraints. We show in particular that innermost (ir)reducibility can be modeled with a particular narrowing relation and that (dis)equational constraints are issued from the most general unifiers of this narrowing relation.
Type de document :
Rapport
[Research Report] 2009, pp.9
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00387058
Contributeur : Isabelle Gnaedig <>
Soumis le : vendredi 22 mai 2009 - 19:22:44
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : lundi 15 octobre 2012 - 10:57:32

Fichier

note-HAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00387058, version 1

Collections

Citation

Isabelle Gnaedig, Hélène Kirchner. Modeling reducibility on ground terms using constraints. [Research Report] 2009, pp.9. 〈inria-00387058〉

Partager

Métriques

Consultations de la notice

168

Téléchargements de fichiers

110