Accretive Computation of Global Transformations of Graphs - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2021

Accretive Computation of Global Transformations of Graphs

Résumé

The framework of global transformations aims at describing synchronous rewriting systems on a given data structure. In this work we focus on the data structure of graphs. Global transformations of graphs are defined and a local criterion is given for a rule system to extend to a graph global transformation. Finally we present an algorithm, with its correction, which computes online the global transformation of a finite graph in an accretive manner.
Fichier principal
Vignette du fichier
main.pdf (255.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03170945 , version 1 (16-03-2021)
hal-03170945 , version 2 (14-08-2021)

Identifiants

Citer

Alexandre Fernandez, Luidnel Maignan, Antoine Spicher. Accretive Computation of Global Transformations of Graphs. 2021. ⟨hal-03170945v1⟩
150 Consultations
91 Téléchargements

Altmetric

Partager

More