Shortcut fusion rules for the derivation of circular and higher-order programs

• Type: Article in International Conference Proceedings Book
• Date: 2011

Authors

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

Conference proceedings International

Title: Higher-Order and Symbolic Computation

Pages: 115-149

Indexing

Scopus - 7 Citations

Other information

Authenticus ID: P-008-43B

DOI: 10.1007/s10990-011-9076-x

Abstract (EN): Functional programs often combine separate parts using intermediate data structures for communicating results. Programs so defined are modular, easier to understand and maintain, but suffer from inefficiencies due to the generation of those gluing data structures. To eliminate such redundant data structures, some program transformation techniques have been proposed. One such technique is shortcut fusion, and has been studied in the context of both pure and monadic functional programs. In this paper, we study several shortcut fusion extensions, so that, alternatively, circular or higher-order programs are derived. These extensions are also provided for effect-free programs and monadic ones. Our work results in a set of generic calculation rules, that are widely applicable, and whose correctness is formally established. © 2011 Springer Science+Business Media, LLC.

Language: English

Type (Professor's evaluation): Scientific