1 paper · 1 filter
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…