Universität Karlsruhe
Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules
@techreport{MG:07,
  author={Jens Müller and Rubino Geiß},
  title=\{Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules},
  year=\{2007},
  abstract=\{The execution of graph transformations is sped up by automatically concatenating rewrite rules. We start by guessing which elements are already matched or created by one rule, and are re-used by the following rule afterwards. Then, we build a rule that combines the modifications of both rules, leaving out unneccesary intermediate  steps. We use such combined rules to transform graph rewrite sequences, including a fallback for the case that the guess was wrong. Using this method, we achieve a speedup of nearly 50% in Varro’s well-known mutex benchmark.},
  url=\{http://www.info.uni-karlsruhe.de/papers/agtive_2007_auto_concat.pdf},
}

Login
Links