Subsumptions of Algebraic Rewrite Rules - Université Grenoble Alpes Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Subsumptions of Algebraic Rewrite Rules

Résumé

What does it mean for an algebraic rewrite rule to subsume another rule (that may then be called a subrule)? We view subsumptions as rule morphisms such that the simultaneous application of a rule and a subrule (i.e. the application of a morphism) yields the same result as a single application of the rule. Simultaneous applications of whole subcategories of rules are obtained by Global Coherent Transformations and illustrated on graphs in the DPO approach. Other approaches are possible since these transformations are formulated in an abstract Rewriting Environment, and such environments exist for DPO, SqPO, PBPO rules.
Fichier principal
Vignette du fichier
long.pdf (412.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04087851 , version 1 (03-05-2023)
hal-04087851 , version 2 (15-05-2023)
hal-04087851 , version 3 (27-09-2023)

Identifiants

  • HAL Id : hal-04087851 , version 2

Citer

Thierry Boy de la Tour. Subsumptions of Algebraic Rewrite Rules. 2023. ⟨hal-04087851v2⟩
45 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More