Multiple intermediate structure deforestation by shortcut fusion

• Type: Article in International Scientific Journal
• Date: 2016

Authors

Pardo, A (Author) Other; Joao Paulo Fernandes (Author) Other; Saraiva, J (Author) Other

Journal

Title: Science of Computer Programming

Vol. 132

Pages: 77-95

ISSN: 0167-6423

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

Other information

Authenticus ID: P-00M-5RA

DOI: 10.1016/j.scico.2016.07.004

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 19