A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Controlling the Size of Supercompiled Programs using Multi-result Supercompilation
[article]
2020
arXiv
pre-print
Preserved Fulltext
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
arXiv:2006.02204v1
fatcat:opajqq22t5darkoxqe23o3ucia