Accretive Computation of Global Transformations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Accretive Computation of Global Transformations

Résumé

Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure. In this work we focus on data structures that can be captured as presheaves and study the computational aspects of such synchronous rule systems. To obtain an online algorithm, a complete study of the sub-steps within each synchronous step is done at the semantic level. This leads to the definition of accretive rule systems and a local criterion to characterize these systems. Finally an online computation algorithm for theses systems is given.

Dates et versions

hal-03938097 , version 1 (13-01-2023)

Identifiants

Citer

Alexandre Fernandez, Luidnel Maignan, Antoine Spicher. Accretive Computation of Global Transformations. International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Uli Fahrenberg; Mai Gehrke; Luigi Santocanale; Michael Winter, Nov 2021, Marseille (CIRM, Centre International de Rencontres Mathématiques), France. pp.159-175, ⟨10.1007/978-3-030-88701-8_10⟩. ⟨hal-03938097⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

More