A Cloning Pushout Approach to Term-Graph Transformation

Dominique Duval, Rachid Echahed, Frédéric Prost

We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form $(L,R,\tau ,\sigma )$ such that $L$ and $R$ are termgraphs represe…