Solving the TTC 2011 Compiler Optimization Case with GReTL
  This paper discusses the GReTL solution of the TTC 2011 Compiler Optimization case. The submitted solution covers both the constant folding task and the instruction selection task. The verifier for checking the validity of the graph is also implemented, and some additional test graphs are provided as requested by the extension. 
Tassilo Horn (University Koblenz-Landau)
cs.SE cs.PL