Short note: Strict unwraps make worker/wrapper fusion totally correct
The worker/wrapper transformation is a general way of changing the type of a recursive definition, usually applied with an eye to increasing algorithmic efficiency. This note identifies an infelicity in the program transformations presented by Gill & Hutton (The worker/wrapper transformation, J. Funct. Program., vol. 19, 2009, pp. 227-251) and proposes a new totally correct worker/wrapper fusion rule.
|Collections||ANU Research Publications|
|Source:||Journal of Functional Programming|
|01_Gammie_Short_note:_Strict_unwraps_2010.pdf||97.58 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.