Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10329475 | Electronic Notes in Theoretical Computer Science | 2005 | 13 Pages |
Abstract
GROOVE is a tool for the automatic generation of graph transition systems from graph grammars. In this type of tool, both memory and time performance are of prime importance. In this paper we discuss the implementation techniques used for optimising the tool in this regard, and we list possible future improvements.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Arend Rensink,