Solving the TTC 2011 Compiler Optimization Case with GROOVE

Arend Rensink
(University of Twente, NL)
Eduardo Zambon
(University of Twente, NL)

This report presents a partial solution to the Compiler Optimization 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.

In Pieter Van Gorp, Steffen Mazanek and Louis Rose: Proceedings Fifth Transformation Tool Contest (TTC 2011), Zürich, Switzerland, June 29-30 2011, Electronic Proceedings in Theoretical Computer Science 74, pp. 126–130.
Published: 16th November 2011.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: