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. © 2005 Elsevier B.V. All rights reserved.
Rensink, A. (2005). Time and space issues in the generation of graph transition systems. In Electronic Notes in Theoretical Computer Science (Vol. 127, pp. 127–139). https://doi.org/10.1016/j.entcs.2004.12.036