2 papers
cs.LO2008
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 such that and are termgraphs represe…
cs.PL2005
Data-Structure Rewriting
Dominique Duval, Rachid Echahed, Frederic Prost
We tackle the problem of data-structure rewriting including pointer redirections. We propose two basic rewrite steps: (i) Local Redirection and Replacement steps the aim of which i…