Time and Space Issues in the Generation of Graph Transition Systems

Rensink, Arend (2005) Time and Space Issues in the Generation of Graph Transition Systems. Electronic Notes in Theoretical Computer Science (ENTCS), 127 (1). pp. 127-139. ISSN 1571-0661

Preview

PDF
84Kb

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.
Item Type:	Article
Copyright:	© 2005 Elsevier
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/55482
Official URL:	http://dx.doi.org/10.1016/j.entcs.2004.12.036
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 234012