A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Worker/wrapper/makes it/faster
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency: proving that the performance of optimized programs is actually improved. This paper addresses this problem for a general-purpose optimization technique, the worker/wrapper transformation. In particular, we use the call-by-need variant of improvement
doi:10.1145/2628136.2628142
dblp:conf/icfp/HackettH14
fatcat:afzsasvv7zeyfjeplrid47fzie