Work it, wrap it, fix it, fold it

Sculthorpe, Neil and Hutton, Graham (2014) Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24 (1). pp. 113-127. ISSN 0956-7968

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (168kB) | Preview

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.

Item Type: Article
Additional Information: Copyright Cambridge University Press, 2014.
Schools/Departments: University of Nottingham UK Campus > Faculty of Science > School of Computer Science
Identification Number: https://doi.org/10.1017/S0956796814000045
Depositing User: Hutton, Prof Graham
Date Deposited: 27 Jan 2015 11:25
Last Modified: 16 Sep 2016 01:12
URI: http://eprints.nottingham.ac.uk/id/eprint/28182

Actions (Archive Staff Only)

Edit View Edit View