Skip to main content

Research Repository

See what's under the surface

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.

Journal Article Type Article
Publication Date Jan 1, 2014
Journal Journal of Functional Programming
Print ISSN 0956-7968
Electronic ISSN 0956-7968
Publisher Cambridge University Press (CUP)
Peer Reviewed Peer Reviewed
Volume 24
Issue 1
APA6 Citation Sculthorpe, N., & Hutton, G. (2014). Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24(1), doi:10.1017/S0956796814000045
DOI https://doi.org/10.1017/S0956796814000045
Publisher URL http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9239074&fileId=S0956796814000045
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information Copyright Cambridge University Press, 2014.

Files

workIt.pdf (168 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations

;