Compiling Haskell by program transformation: a report from the trenches

Compiling Haskell by program transformation: a report from the trenches (1996)

Cached

Download Links

[www.research.microsoft.com]

Other Repositories/Bibliography

DBLP

by Simon L. Peyton Jones

Venue:	In Proc. European Symp. on Programming
Citations:	52 - 4 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Compiling Haskell by program transformation: a report from the trenches	user correction - Legacy Corrections
AUTHOR NAME	Simon L. Peyton Jones	user correction - Legacy Corrections
AUTHOR AFFIL	; Department of Computing Science; technique (Aho, Sethi & Ullman [1986]; Bacon, Graham & Sharp [1994]). In the functional	user correction - Legacy Corrections
AUTHOR ADDR	; University of Glasgow, G12 8QQ	user correction - Legacy Corrections
ABSTRACT	Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of "compilation by transformation" as its war-cry, trying to express as much as possible of the compilation process in the form of program transformations. This paper reports on our practical experience of the transformational approach to compilation, in the context of a substantial compiler. The paper appears in the Proceedings of the European Symposium on Programming, Linkoping, April 1996. 1 Introduction Using correctness-preserving transformations as a compiler optimisation is a well-established technique (Aho, Sethi & Ullman [1986]; Bacon, Graham & Sharp [1994]). In the functional programming area especially, the idea of compilation by transformation has received quite a bit of attention (Appel [1992]; Fradet & Metayer [1991]; Kelsey [1989]; Kelsey & Hudak [1989]; Kranz [1988]; Steele [1978]). A ...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	In Proc. European Symp. on Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	18--44	INFERENCE
VOLUME	1058	INFERENCE
CITATIONS	45 found	ParsCit 1.0