This work is licensed under the Creative Commons Attribution License. Solving the TTC 2011 Compiler Optimization Task with

The authors ’ meta tools are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every computer-internal structure is treated as a “model”, and every computation is a kind of model transformation. This concept differs significantly from “classical model transformation ” executed by specialized tools and languages. Therefore it seemed promising to the organizers of the Transformation Tool Contest 2011 in Zürich, as well as to the authors, to apply meta tools to one of the challenges, namely to the “compiler optimization task”. This is a report on the resulting experiences. 1 Principles ofmeta tools and Context of this Report The authors ’ view on model transformation [5] is in some aspects a “dual ” approach to the construction of dedicated model transformation tools: It implies that every computer-internal data structure can (and should!) be seen as a model, and every computation is a kind of model transformation. Consequently, models are realized as type definitions, invariants and processing code in the hosting computer language: In a first step, source code is generated automatically from a mathematical description. In a second step, the programmer is free to handle the model objects by combining the generated API and the correspond