Decidable Approximations of Sets of Descendants and Sets of Normal forms - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Decidable Approximations of Sets of Descendants and Sets of Normal forms

Résumé

A partir de techniques d'automates d'arbres, nous présentons des approximations calculables des ensembles de descendants et des ensembles de formes normales d'un système de réécriture. Dans le contexte de la logique de réécriture, un système de réécriture est un programme et une forme normale est un résultat du programme. Ainsi, l'approximation de l'ensemble des descendants et de l'ensemble des formes normales, fournit des outils pour la vérification des programmes : nous montrons en particulier comment calculer un sur-ensemble des résultats, comment montrer la complétude suffisante, ou encore comment prouver la terminaison sous une stratégie précise, la stratégie de réduction séquentielle.
Fichier principal
Vignette du fichier
98-R-137.pdf (260.31 Ko) Télécharger le fichier

Dates et versions

inria-00098700 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098700 , version 1

Citer

Thomas Genet. Decidable Approximations of Sets of Descendants and Sets of Normal forms. 9th Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan, pp.151-165. ⟨inria-00098700⟩
69 Consultations
155 Téléchargements

Partager

Gmail Facebook X LinkedIn More