EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


7014 Time and Space Issues in the Generation of Graph Transition Systems
 Home Policy Brochure Browse Search User Area Contact Help

Rensink, A. (2005) Time and Space Issues in the Generation of Graph Transition Systems. In: Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004), Barcelona, Spain. pp. 127-139. Electronic Notes in Theoretical Computer Science 127 (1). Elsevier. ISSN 1571-0661

This is the latest version of this eprint.

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
85 Kb

Official URL: http://dx.doi.org/10.1016/j.entcs.2004.12.036

Exported to Metis

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:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-SE: Software Engineering
Research Program:CTIT-ASI: A-services Internet
Research Project:GROOVE: Graphs for Object-Oriented Verification
Uncontrolled Keywords:Graph Transformation, State Space Generation
ID Code:7014
Status:Published
Deposited On:28 October 2006
Refereed:Yes
International:Yes
More Information:statisticsmetis

Available Versions of this Item

  • Time and Space Issues in the Generation of Graph Transition Systems (deposited 28 October 2006)
    [Currently Displayed]

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item