Modeling pointer redirection as cyclic term-graph rewriting - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Modeling pointer redirection as cyclic term-graph rewriting

Rachid Echahed
Frederic Prost

Résumé

We tackle the problem of data-structure rewriting including global and local pointerredirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirection, the aim of which is to redirect specific pointers determined by means of a pattern; (ii) Replacement, that may add new information to data-structures; (iii) Global redirection, which is aimed at redirecting all pointers targeting a node towards another one. We define a new framework, following the double-pushout approach, where graph rewrite rules may mix these three kinds of actions in a row. We define first the category of graphs we consider and then we define rewrite rules as pairs of graph homomorphisms of the form L←K→R. In our setting, graphK is not arbitrary, it is used to encode pointerredirection. Furthermore, pushouts do not always exist and complement pushouts, when they exist, are not unique. Despite these concerns, our definition of rewriting steps is such that a rewrite rule can always be fired, once a matching is found.

Dates et versions

hal-00388351 , version 1 (26-05-2009)

Identifiants

Citer

Dominique Duval, Rachid Echahed, Frederic Prost. Modeling pointer redirection as cyclic term-graph rewriting. TERMGRAPH'06 - Third International Workshop on Term Graph Rewriting, Apr 2006, Vienne, Austria. pp.65-84, ⟨10.1016/j.entcs.2006.10.027⟩. ⟨hal-00388351⟩
136 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More