Time and Space Issues in the Generation of Graph Transition Systems

Arend Rensink

doi:10.1016/j.entcs.2004.12.036

Time and Space Issues in the Generation of Graph Transition Systems

Arend Rensink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

70 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)
Editors	T. Mens, A. Schürr, G. Taentzer
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	127-139
Number of pages	13
DOIs	https://doi.org/10.1016/j.entcs.2004.12.036
Publication status	Published - Mar 2005
Event	International Workshop on Graph-Based Tools, GraBaTs 2004 - Rome, Italy Duration: 2 Oct 2004 → 2 Oct 2004

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Number	1
Volume	127
ISSN (Print)	1571-0661

Workshop

Workshop	International Workshop on Graph-Based Tools, GraBaTs 2004
Abbreviated title	GraBaTs
Country/Territory	Italy
City	Rome
Period	2/10/04 → 2/10/04

Keywords

Graph transformation
State space generation

Access to Document

10.1016/j.entcs.2004.12.036Licence: CC BY-NC-ND

Rensink2004time-preliminarySubmitted version, 71.5 KB
Rensink2004timeFinal published version, 234 KBLicence: CC BY-NC-ND

Cite this

@inproceedings{1a71b7ba9b2440dbad027f5fe98a453b,

title = "Time and Space Issues in the Generation of Graph Transition Systems",

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 = "Graph transformation, State space generation",

author = "Arend Rensink",

year = "2005",

month = mar,

doi = "10.1016/j.entcs.2004.12.036",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

pages = "127--139",

editor = "T. Mens and A. Sch{\"u}rr and G. Taentzer",

booktitle = "Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)",

address = "Netherlands",

note = "International Workshop on Graph-Based Tools, GraBaTs 2004, GraBaTs ; Conference date: 02-10-2004 Through 02-10-2004",

}

Rensink, A 2005, Time and Space Issues in the Generation of Graph Transition Systems. in T Mens, A Schürr & G Taentzer (eds), Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). Electronic Notes in Theoretical Computer Science, no. 1, vol. 127, Elsevier, Amsterdam, pp. 127-139, International Workshop on Graph-Based Tools, GraBaTs 2004, Rome, Italy, 2/10/04. https://doi.org/10.1016/j.entcs.2004.12.036

Time and Space Issues in the Generation of Graph Transition Systems. / Rensink, Arend.
Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). ed. / T. Mens; A. Schürr; G. Taentzer. Amsterdam: Elsevier, 2005. p. 127-139 (Electronic Notes in Theoretical Computer Science; Vol. 127, No. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Time and Space Issues in the Generation of Graph Transition Systems

AU - Rensink, Arend

PY - 2005/3

Y1 - 2005/3

N2 - 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.

AB - 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.

KW - Graph transformation

KW - State space generation

U2 - 10.1016/j.entcs.2004.12.036

DO - 10.1016/j.entcs.2004.12.036

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 127

EP - 139

BT - Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)

A2 - Mens, T.

A2 - Schürr, A.

A2 - Taentzer, G.

PB - Elsevier

CY - Amsterdam

T2 - International Workshop on Graph-Based Tools, GraBaTs 2004

Y2 - 2 October 2004 through 2 October 2004

ER -

Time and Space Issues in the Generation of Graph Transition Systems

Abstract

Publication series

Workshop

Keywords

Access to Document

Fingerprint

Cite this