Warm Fusion: Deriving Build-Catas from Recursive Definitions

Warm Fusion: Deriving Build-Catas from Recursive Definitions (1995)

Cached

Download Links

[cse.ogi.edu]

by John Launchbury , Tim Sheard

Venue:	In Conf. on Func. Prog. Languages and Computer Architecture
Citations:	70 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Warm Fusion: Deriving Build-Catas from Recursive Definitions	user correction - Legacy Corrections
AUTHOR NAME	John Launchbury	user correction - Legacy Corrections
AUTHOR AFFIL	Oregon Graduate Institute of Science & Technology; P.O. Box 91000, Portland	user correction - Legacy Corrections
AUTHOR ADDR	OR 97291-1000 USA	user correction - Legacy Corrections
AUTHOR NAME	Tim Sheard	user correction - Legacy Corrections
AUTHOR AFFIL	Oregon Graduate Institute of Science & Technology; P.O. Box 91000, Portland	user correction - Legacy Corrections
AUTHOR ADDR	OR 97291-1000 USA	user correction - Legacy Corrections
ABSTRACT	Program fusion is the process whereby separate pieces of code are fused into a single piece, typically transforming a multi-pass algorithm into a single pass. Recent work has made it clear that the process is especially successful if the loops or recursions are expressed using catamorphisms (e.g.foldr) and constructor-abstraction (e.g. build). In this paper we show how to transform recursive programs into this form automatically, thus enabling the fusion transformation to be applied more easily than before. 1 Introduction There are significant advantages to multi-pass algorithms, in which intermediate data-structures are created and traversed. In particular, each of the passes may be relatively simple, so are both easier to write and are potentially more reusable. By separating many distinct phases it becomes possible to focus on a single task, rather than attempting to do many things at the same time. The classic toy example of this is to compute the sum of the squares of the numbe...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	In Conf. on Func. Prog. Languages and Computer Architecture	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	314--323	INFERENCE
CITATIONS	13 found	ParsCit 1.0