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.
|Name||Electronic Notes in Theoretical Computer Science|
|Workshop||International Workshop on Graph-Based Tools, GraBaTs 2004|
|Period||2/10/04 → 2/10/04|
- Graph transformation
- State space generation