Termination of ELAN strategies by simplification - Extended version - - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2003

Termination of ELAN strategies by simplification - Extended version -

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00107743 , version 1

Cite

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⟩
109 View
49 Download

Share

Gmail Facebook Twitter LinkedIn More