用多结果超编译来控制超级编译程序的大小（CS PL）---蔡秋纯

超级编译是一种强大的程序转换技术，有许多有趣的应用。然而，现有的超级编译方法对于生成的程序的大小通常是非常不可预测的。我们考虑了一种基于多结果超编译和特定泛化策略的控制结果大小的方法，避免了代码重复。目前使用这种方法的早期实验显示了很有希望的结果——我们可以保持结果的小规模，同时仍然执行强大的优化。

原文标题：Controlling the Size of Supercompiled Programs using Multi-result 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.

原文作者：Dimitur Krustev

原文地址：https://arxiv.org/abs/2006.02204