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…