A double-pushout approach for modeling pointer redirection
Résumé
The aim of this talk is to present a framework for data-structure rewriting, including cyclic data-structures with pointers such as circular lists, doubly-linked lists, etc. Our framework follows the categorical approach of the DPO (double pushout) method, but with non-classical assumptions on rules and matchings. It allows local pointer redirection, for redirecting some specific pointers, and global pointer redirection, for redirecting all pointers with some specific target to another target.