Skip navigation
Skip navigation

Short note: Strict unwraps make worker/wrapper fusion totally correct

Gammie, Peter

Description

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.

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
URI: http://hdl.handle.net/1885/61999
Source: Journal of Functional Programming
DOI: 10.1017/S0956796810000080

Download

File Description SizeFormat Image
01_Gammie_Short_note:_Strict_unwraps_2010.pdf97.58 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator