Worker/wrapper/makes it/faster
Worker/wrapper/makes it/faster
复制标题
工人/包装者/使其/更快
DOI：
10.1145/2692915.2628142
复制
发表时间：
2014
影响因子：
--
通讯作者：
G. Hutton
中科院分区：
文献类型：
--
作者：
Jennifer Hackett;G. Hutton
在程序优化方面的许多研究都集中在正确性的形式化方法上：证明程序的意义通过优化得以保留。矛盾的是，关于效率的正式方法的研究相对较少：证明优化程序的性能实际上得到了提高。本文通过一种通用的优化技术——工作者/包装器转换来解决这个问题。特别是，我们使用改进理论的按需调用变体来建立条件，在这些条件下，工作者/包装器转换被正式保证保留或提高诸如Haskell等惰性语言中的程序的时间性能。
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 theory to establish conditions under which the worker/wrapper transformation is formally guaranteed to preserve or improve the time performance of programs in lazy languages such as Haskell.