Solving the TTC 2011 Compiler Optimization Case with GROOVE

Arend Rensink, Eduardo Zambon

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

    121 Downloads (Pure)


    This report presents a partial solution to the Compiler Optimisation case study using GROOVE. We explain how the input graphs provided with the case study were adapted into a GROOVE representation and we describe an initial solution for Task 1. This solution allows us to automatically reproduce the steps of the constant folding example given in the case description. We did not solve Task 2.
    Original languageUndefined
    Title of host publicationProceedings of the Fifth Transformation Tool Contest (TTC 2011)
    EditorsPieter van Gorp, Steffen Mazanek, Louis Rose
    PublisherOpen Publishing Association
    Number of pages5
    ISBN (Print)not assigned
    Publication statusPublished - Nov 2011
    EventFifth Transformation Tool Contest, TTC 2011 - Zurich, Switzerland
    Duration: 29 Jun 201130 Jun 2011

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science (EPTCS)
    PublisherOpen Publishing Association
    ISSN (Print)2075-2180


    WorkshopFifth Transformation Tool Contest, TTC 2011
    Other29-30 June 2011


    • METIS-285116
    • EWI-21484
    • IR-79662

    Cite this