Subsumptions of Algebraic Rewrite Rules - Université Grenoble Alpes Accéder directement au contenu
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2023

Subsumptions of Algebraic Rewrite Rules


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 subsumption morphism) yields the same result as a single application of the subsuming rule. Simultaneous applications of categories 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 various approaches to Algebraic Rewriting, including DPO, SqPO and PBPO.
Fichier principal
Vignette du fichier
hal-v3.pdf (468.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

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



Thierry Boy de la Tour. Subsumptions of Algebraic Rewrite Rules. Electronic Proceedings in Theoretical Computer Science, 2023, 397, pp.20-38. ⟨10.4204/EPTCS.397.2⟩. ⟨hal-04087851v3⟩
46 Consultations
40 Téléchargements



Gmail Facebook X LinkedIn More