Closed combination of context-embedding iterative strategies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Technical Report) Year : 2016

Closed combination of context-embedding iterative strategies


This work is motivated by the challenging problem of the computer-aided generation of approximations (viewed as a series of transformations) of partial derivative equations. In this framework, the approximations posed over complex settings are incrementally constructed by extending an approximation posed on a simple setting and combining these extensions. In order to formalize these extensions and their combination, we introduce a class of rewriting strategies, called context-embedding iterative strategies (CE-strategies, for short). Roughly speaking, the class of CE-strategies is constructed by means of adding contexts and an iteration operator allowing the definition of recursive strategies. We show that the class of CE-strategies is closed under combination with respect to a correctness-completeness criterion. It turns out that the class CE-strategies enjoy nice algebraic properties, namely, the combination is associative, has a neutral element, and all the elements are idempotents.
Fichier principal
Vignette du fichier
long-v.pdf (563.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01277395 , version 1 (22-02-2016)
hal-01277395 , version 2 (07-03-2016)


  • HAL Id : hal-01277395 , version 2


Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner. Closed combination of context-embedding iterative strategies. [Technical Report] LORIA - Université de Lorraine; FEMTO-ST. 2016. ⟨hal-01277395v2⟩
214 View
141 Download


Gmail Facebook X LinkedIn More