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

Peter Gammie

doi:10.1017/S0956796810000080

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

Peter Gammie^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	209-213
Number of pages	5
Journal	Journal of Functional Programming
Volume	21
Issue number	2
DOIs	https://doi.org/10.1017/S0956796810000080
Publication status	Published - Mar 2011

Access to Document

10.1017/S0956796810000080

Cite this

@article{eb0aa705c60241b2bac2064b40451055,

title = "Short note: Strict unwraps make worker/wrapper fusion totally correct",

abstract = "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.",

author = "Peter Gammie",

year = "2011",

month = mar,

doi = "10.1017/S0956796810000080",

language = "English",

volume = "21",

pages = "209--213",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Short note

T2 - Strict unwraps make worker/wrapper fusion totally correct

AU - Gammie, Peter

PY - 2011/3

Y1 - 2011/3

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/80054954696

U2 - 10.1017/S0956796810000080

DO - 10.1017/S0956796810000080

M3 - Article

SN - 0956-7968

VL - 21

SP - 209

EP - 213

JO - Journal of Functional Programming

JF - Journal of Functional Programming

IS - 2

ER -

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

Abstract

Access to Document

Other files and links

Cite this