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.

中文翻译：

---

使用多结果超级编译控制超级编译程序的大小

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