×

zbMATH — the first resource for mathematics

Multiple intermediate structure deforestation by shortcut fusion. (English) Zbl 1405.68064
Du Bois, André Rauber (ed.) et al., Programming languages. 17th Brazilian symposium, SBLP 2013, Brasília, Brazil, October 3–4, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40921-9/pbk). Lecture Notes in Computer Science 8129, 120-134 (2013).
Summary: Shortcut fusion is a well-known optimization technique for functional programs. Its aim is to transform multi-pass algorithms into single pass ones, achieving deforestation of the intermediate structures that multi-pass algorithms need to construct. Shortcut fusion has already been extended in several ways. It can be applied to monadic programs, maintaining the global effects, and also to obtain circular and higher-order programs. The techniques proposed so far, however, only consider programs defined as the composition of a single producer with a single consumer. In this paper, we analyse shortcut fusion laws to deal with programs consisting of an arbitrary number of function compositions.
For the entire collection see [Zbl 1284.68011].
MSC:
68N18 Functional programming and lambda calculus
PDF BibTeX XML Cite
Full Text: DOI