| Publication type: |
Article in Proceedings |
| Author: |
Hoffmann, Berthold, Jakumeit, Edgar, Geiß, Rubino |
| Editor: |
Mosbah, Mohamed, Habel, Annegret |
| Title: |
Graph Rewrite Rules with Structural Recursion |
| Book / Collection title: |
2nd Intl. Workshop on Graph Computational Models (GCM 2008) |
| Page(s): |
5 – 16 |
| Year published: |
2008 |
| Abstract: |
Graph rewrite rules, programmed by sequencing and iteration, suffice to
define the computable functions on graphs - in theory.
In practice however, the control program may become hard to formulate, hard
to understand, and even harder to verify.
Therefore, we have extended graph rewrite rules by variables that are
instantiated by a kind of hyperedge replacement, before the so instantiated
rules are applied to a graph.
This way, rules can be defined recursively over the structure of the graphs
where they apply, in a fully declarative way.
Generic rules with variables and recursive rule instantiation have been implemented in the graph rewrite tool GrGen.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/08-GCM.pdf |
| Status: |
Reviewed |
| Last updated: |
26. 09. 2008 |
|
 |
