Termination of ELAN strategies by simplification - Extended version - - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2003

Termination of ELAN strategies by simplification - Extended version -

Résumé

We propose a transformation based method for proving termination of ELAN strategies. We first give a sufficient criterion for ELAN strategies to terminate, only lying on rewrite rules involved in the strategy. We then give a simplification process of strategies, itself described by rewriting, to empower the previous criterion. This simplification, beyond easing termination proof of strategies, can both facilitate elaboration of specifications and ease proofs of other program properties.
Fichier principal
Vignette du fichier
A03-R-360.pdf (477.38 Ko) Télécharger le fichier

Dates et versions

inria-00107743 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107743 , version 1

Citer

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Termination of ELAN strategies by simplification - Extended version -. [Intern report] A03-R-360 || fissore03b, 2003, 47 p. ⟨inria-00107743⟩
112 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More