论文标题
使用多元化超级填充控制超级程序的大小
Controlling the Size of Supercompiled Programs using Multi-result Supercompilation
论文作者
论文摘要
SuperCompilation是一种强大的程序转换技术，具有许多有趣的应用程序。但是，对于最终程序的规模，现有的超级缩减方法通常是不可预测的。我们考虑了一种控制结果大小的方法，该方法是基于多元重点超级填充和特定的概括策略的组合，从而避免了代码重复。当前使用此方法的早期实验显示出令人鼓舞的结果 - 我们可以将结果的大小保持较小，同时仍进行强大的优化。
Supercompilation is a powerful program transformation technique with numerous interesting applications. Existing methods of supercompilation, however, are often very unpredictable with respect to the size of the resulting programs. We consider an approach for controlling result size, based on a combination of multi-result supercompilation and a specific generalization strategy, which avoids code duplication. The current early experiments with this method show promising results -- we can keep the size of the result small, while still performing powerful optimizations.
