用GReTL求解TTC 2011型发动机优化问题
Solving the TTC 2011 Compiler Optimization Case with GReTL
摘要：
本文讨论了TTC 2011年锅炉优化案例的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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
