Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Drags: A Compositional Algebraic Framework for Graph Rewriting

Abstract : We are interested in a natural generalization of term-rewriting techniques to what we call drags, viz. finite, directed, ordered, rooted multigraphs, each vertex of which is labeled by a function symbol. To this end, we develop a rich algebra of drags that generalizes the familiar term algebra and its associated rewriting capabilities. Viewing graphs as terms provides an initial building block for rewriting with such graphs, one that should impact the many areas where computations take place on graphs.
Complete list of metadatas

https://hal.inria.fr/hal-01853138
Contributor : Jean-Pierre Jouannaud <>
Submitted on : Thursday, August 2, 2018 - 3:16:38 PM
Last modification on : Thursday, March 5, 2020 - 6:22:52 PM

Links full text

Identifiers

Collections

Citation

Nachum Dershowitz, Jean-Pierre Jouannaud. Drags: A Compositional Algebraic Framework for Graph Rewriting. 2019. ⟨hal-01853138⟩

Share

Metrics

Record views

148


Données de recherche