Skip to main content

Research Repository

See what's under the surface

Advanced Search

Compact fusion

Hope, Catherine; Hutton, Graham

Authors

Catherine Hope



Abstract

There are many advantages to writing functional programs in a compositional style, such as clarity and modularity. However, the intermediate data structures produced may mean that the resulting program is inefficient in terms of space. These may be removed using deforestation techniques, but whether the space performance is actually improved depends upon the structures being consumed in the same order that they are produced. In this paper we explore this problem for the case when the intermediate structure is a list, and present a solution. We then formalise the space behaviour of our solution by means of program transformation techniques and the use of abstract machines.

Publication Date Jul 1, 2006
Peer Reviewed Peer Reviewed
APA6 Citation Hope, C., & Hutton, G. (2006). Compact fusion
Keywords hylomorphism, space, fold, abstract machine
Publisher URL http://ewic.bcs.org/content/ConWebDoc/5350
Copyright Statement Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0

Files

compact.pdf (119 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0





You might also like



Downloadable Citations

;