使用元工具解决TTC 2011年装配机优化任务
Solving the TTC 2011 Compiler Optimization Task with metatools
摘要：
作者的“元工具”是一个泛型编程工具的集合。这包括从数学上建立良好的规范生成Java源代码，以及为XML编码文本创建严格类型化的文档对象模型。在这种背景下，几乎每一个计算机内部结构都被视为一个“模型”，每一次计算都是一种模型转换。这个概念与由专门的工具和语言执行的“经典模型转换”有很大的不同。因此，对于TTC 2011的组织者以及作者来说，将元工具应用于其中一个挑战，即“编译器优化任务”，似乎很有希望。这是一份关于由此产生的经验的报告。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
