A double-pushout approach for modeling pointer redirection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

A double-pushout approach for modeling pointer redirection

Rachid Echahed
Frederic Prost

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.
Fichier non déposé

Dates et versions

hal-00770342 , version 1 (05-01-2013)

Identifiants

  • HAL Id : hal-00770342 , version 1

Citer

Dominique Duval, Rachid Echahed, Frederic Prost. A double-pushout approach for modeling pointer redirection. IFIP WG1.3 meeting, Jan 2008, Sierra Nevada, Spain. ⟨hal-00770342⟩
51 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More