Skip to main content

Research Repository

Advanced Search

Work it, wrap it, fix it, fold it

Sculthorpe, Neil; Hutton, Graham

Authors

Neil Sculthorpe



Abstract

The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this paper we show how these two approaches can be generalised in a uniform manner by combining their correctness conditions, extend the theory with new conditions that are both necessary and sufficient to ensure the correctness of the worker/wrapper technique, and explore the benefits that result. All the proofs have been mechanically verified using the Agda system.

Citation

Sculthorpe, N., & Hutton, G. (2014). Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24(1), https://doi.org/10.1017/S0956796814000045

Journal Article Type Article
Publication Date Jan 1, 2014
Deposit Date Jan 27, 2015
Publicly Available Date Mar 29, 2024
Journal Journal of Functional Programming
Print ISSN 0956-7968
Electronic ISSN 0956-7968
Publisher Cambridge University Press
Peer Reviewed Peer Reviewed
Volume 24
Issue 1
DOI https://doi.org/10.1017/S0956796814000045
Public URL https://nottingham-repository.worktribe.com/output/997666
Publisher URL http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9239074&fileId=S0956796814000045
Additional Information Copyright Cambridge University Press, 2014.

Files





You might also like



Downloadable Citations