Computer Science – Logic in Computer Science
Scientific paper
2008-11-20
Computer Science
Logic in Computer Science
Scientific paper
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form $(L,R,\tau,\sigma)$ such that $L$ and $R$ are termgraphs representing the left-hand and the right-hand sides of the rule, $\tau$ is a mapping from the nodes of $L$ to those of $R$ and $\sigma$ is a partial function from nodes of $R$ to nodes of $L$. $\tau$ describes how incident edges of the nodes in $L$ are connected in $R$. $\tau$ is not required to be a graph morphism as in classical algebraic approaches of graph transformation. The role of $\sigma$ is to indicate the parts of $L$ to be cloned (copied). Furthermore, we introduce a new notion of \emph{cloning pushout} and define rewrite steps as cloning pushouts in a given category. Among the features of the proposed rewrite systems, we quote the ability to perform local and global redirection of pointers, addition and deletion of nodes as well as cloning and collapsing substructures.
Duval Dominique
Echahed Rachid
Prost Frederic
No associations
LandOfFree
A Cloning Pushout Approach to Term-Graph Transformation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Cloning Pushout Approach to Term-Graph Transformation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Cloning Pushout Approach to Term-Graph Transformation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-669419