Work it, wrap it, fix it, fold it
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 the...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Cambridge University Press
2014
|
| Online Access: | http://eprints.nottingham.ac.uk/28182/ http://eprints.nottingham.ac.uk/28182/ http://eprints.nottingham.ac.uk/28182/ http://eprints.nottingham.ac.uk/28182/7/workIt.pdf |