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

Subsumptions of SPO Rules


In [2] a Global Coherent Transformation is defined, that applies simultaneously algebraic rewriting rules to an input object. The expressiveness of this transformation is enhanced by enabling the use of subsumption morphisms between rules, as in Global Transformations [8]. However, it is not committed to a particular approach to algebraic rewriting, and is therefore formalized in a general representation of such approaches, called a Rewriting Environment. It was shown that suitable environments exist for the Double Pushout, the Sesqui-Pushout and the Pullback-Pushout approaches. In the present paper an environment is exhibited for the Single-Pushout (SPO) approach in categories of presheaves, and it is shown that it enjoys the same property linking subsumptions between SPO rules and subsumptions between direct SPO transformations.
Fichier principal
Vignette du fichier
hal-v2.pdf (323.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04404735 , version 1 (19-01-2024)
hal-04404735 , version 2 (27-02-2024)


  • HAL Id : hal-04404735 , version 2


Thierry Boy de la Tour. Subsumptions of SPO Rules. 2024. ⟨hal-04404735v2⟩
15 Consultations
17 Téléchargements


Gmail Mastodon Facebook X LinkedIn More