Simon L. Peyton Jones, André L.M. Santos  Home/Search
Context Related
| microsoft.com/User...bytransscp.ps.gz di.ufpe.br/~alms/p...ompbytrans.ps.gz microsoft.com/~sim...bytransscp.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/Users/simo...papers (more) From: microsoft.com/~simonpj/P...papers Homepages: S.Jones |
Rate this article:      (best)Comment on this article |
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. This paper is based ... (Update)
Similar documents based on text: More All
0.4: Parallelizing MCP-Haskell for Evaluating Haskel#.. - Carvalho, Jr., Lins.. (2001) (Correct)
0.4: Declarative systems architecture: a quantitative approach (AQUA).. - Jones (Correct)
0.3: Efficient Compilation of Functional Languages by Program.. - Santos (1997) (Correct)
BibTeX entry: (Update)
S. L. Peyton Jones and A. Santos. A transformation-based optimiser for Haskell. Science of Computer Programming, 32(1-3):3-47, 1998. http://citeseer.ist.psu.edu/peytonjones98transformationbased.html More
@article{ jones98transformationbased,
author = "Simon L. {Peyton Jones} and Andr{\'e} L. M. Santos",
title = "A transformation-based optimiser for {Haskell}",
journal = "Science of Computer Programming",
volume = "32",
number = "1--3",
pages = "3--47",
year = "1998",
url = "citeseer.ist.psu.edu/peytonjones98transformationbased.html" }
Citations (may not include all citations):866 techniques and tools (context) - Aho, Sethi et al. - 1986
521 Compiling with continuations (context) - Appel - 1992
359 The Implementation of Functional Programming Languages (context) - Jones - 1987
325 Towards a theory of type structure (context) - Reynolds - 1974
324 Deforestation: transforming programs to eliminate trees - Wadler - 1990
293 The essence of functional programming - Wadler - 1992
244 Imperative functional programming - Jones, Wadler - 1993
230 Compiler transformations for high-performance computing - Bacon, Graham et al. - 1994
210 Implementing lazy functional languages on stock hardware: th.. - Jones - 1992
210 TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett et al. - 1996
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
169 A call by need lambda calculus - Ariola, Felleisen et al. - 1995
161 A short cut to deforestation - Gill, Launchbury et al. - 1993
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
150 Report on the functional programming language Haskell, Versi.. (context) - Hudak, Jones et al. - 1992
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.microsoft.com/Users/simonpj/Papers/papers.html): More
Concurrent Haskell - Jones, Gordon, Finne (1996) (Correct)
Compiling Haskell by program transformation: a report from the.. - Jones (1996) (Correct)
A Short Cut to Deforestation - Gill, Launchbury, Jones (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC