Multiple intermediate structure deforestation by shortcut fusion

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2013

Autores

Pardo, A (Autor) Outra; Joao Paulo Fernandes (Autor) FCUP; Saraiva, J (Autor) Outra

Ata de Conferência Internacional

Título: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Páginas: 120-134

17th Brazilian Symposium on Programming Languages, SBLP 2013

Brasilia, 3 October 2013 through 4 October 2013

Indexação

Scopus - 1 Citação

Outras Informações

ID Authenticus: P-008-GJN

DOI: 10.1007/978-3-642-40922-6_9

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. © 2013 Springer-Verlag.

Idioma: Inglês

Tipo (Avaliação Docente): Científica