Time and Space Issues in the Generation of Graph Transition Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    33 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 languageEnglish
    Title of host publicationProceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)
    EditorsT. Mens, A. Schürr, G. Taentzer
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages127-139
    Number of pages13
    DOIs
    Publication statusPublished - Mar 2005
    EventInternational Workshop on Graph-Based Tools, GraBaTs 2004 - Rome, Italy
    Duration: 2 Oct 20042 Oct 2004

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Number1
    Volume127
    ISSN (Print)1571-0661

    Workshop

    WorkshopInternational Workshop on Graph-Based Tools, GraBaTs 2004
    Abbreviated titleGraBaTs
    CountryItaly
    CityRome
    Period2/10/042/10/04

    Keywords

    • Graph transformation
    • State space generation

    Fingerprint Dive into the research topics of 'Time and Space Issues in the Generation of Graph Transition Systems'. Together they form a unique fingerprint.

  • Cite this

    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) (pp. 127-139). (Electronic Notes in Theoretical Computer Science; Vol. 127, No. 1). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2004.12.036