Closed combination of context-embedding iterative strategies

Walid Belkhir 1, 2 Nicolas Ratier 1 Duy Duc Nguyen 1 Michel Lenczner 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Type de document :
Rapport
[Technical Report] LORIA - Université de Lorraine; FEMTO-ST. 2016
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01277395
Contributeur : Walid Belkhir <>
Soumis le : lundi 7 mars 2016 - 13:06:54
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 08:36:35

Fichier

long-v.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01277395, version 2

Citation

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〉

Partager

Métriques

Consultations de la notice

175

Téléchargements de fichiers

51