使用 GROOVE 求解 TTC 2011 编译器优化案例
软件工程
2011-11-22 v1
摘要
本报告介绍了使用 GROOVE 对编译器优化案例研究的部分求解方案。我们解释了如何将案例研究提供的输入图适配为 GROOVE 表示，并描述了任务 1 的初始解决方案。该解决方案使我们能够自动复现案例描述中给出的常量折叠示例的步骤。我们未求解任务 2。
引用
@article{arxiv.1111.4746,
title = {Solving the TTC 2011 Compiler Optimization Case with GROOVE},
author = {Arend Rensink and Eduardo Zambon},
journal= {arXiv preprint arXiv:1111.4746},
year = {2011}
}
备注
In Proceedings TTC 2011, arXiv:1111.4407