Solving the TTC 2011 Compiler Optimization Task with metatools

TL;DR

This paper demonstrates how metatools, a collection of generic programming tools, can be applied to solve the TTC 2011 compiler optimization challenge by treating internal structures as models and transforming them accordingly.

Contribution

It introduces the novel application of metatools to a compiler optimization task, differing from classical model transformation approaches.

Findings

Successful application of metatools to the TTC 2011 challenge

Insights into model transformation for compiler optimization

Evaluation of metatools' effectiveness in this context

Abstract

The authors' "metatools" 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 TTC 2011, as well as to the authors, to apply metatools to one of the challenges, namely to the "compiler optimization task". This is a report on the resulting experiences.