Work it, wrap it, fix it, fold it

Sculthorpe, N. ORCID: 0000-0002-7244-0916 and Hutton, G., 2014. Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24 (1), pp. 113-127. ISSN 0956-7968

[img]
Preview
Text
PubSub5453_Sculthorpe.pdf - Post-print

Download (162kB) | 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 article 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: Journal article
Publication Title: Journal of Functional Programming
Creators: Sculthorpe, N. and Hutton, G.
Publisher: Cambridge University Press
Date: 2014
Volume: 24
Number: 1
ISSN: 0956-7968
Identifiers:
NumberType
10.1017/S0956796814000045DOI
Divisions: Schools > School of Science and Technology
Depositing User: Jill Tomkinson
Date Added: 27 May 2016 14:59
Last Modified: 13 Oct 2017 13:10
URI: http://irep.ntu.ac.uk/id/eprint/27900

Actions (login required)

Edit View Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year