113 search results - page 1 / 23 » An Example of Cloning Graph Transformation Rules for Program... |
ENTCS
2008
13 years 4 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
ENTCS
2006
13 years 4 months ago
2006
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
RTA
2009
Springer
13 years 11 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...