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)
Related documents from co-citation: More All
14: Building Program Optimizers with Rewriting Strategies - Visser, Abidine et al. - 1998
13: Compiling with Continuations (context) - Appel - 1992
12: A short cut to deforestation - Gill, Launchbury et al. - 1993
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
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
116 Rabbit: a compiler for Scheme (context) - Steele - 1978
114 A natural semantics for lazy evaluation - Launchbury - 1993
101 Lazy functional state threads - Launchbury, Jones - 1994
84 Lambda lifting: transforming programs to recursive equations - Johnsson - 1985
81 Once upon a type - Turner, Wadler et al. - 1995
79 A type-based compiler for Standard ML - Shao, Appel - 1995
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994
61 Une extension de l'interpretation de Godel a l'analyse, et s.. (context) - Girard - 1971
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
53 Realistic compilation by program transformation - Kelsey, Hudak - 1989
42 An ad hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991
40 Unboxed values as first class citizens (context) - Jones, Launchbury - 1991
39 Compilation of functional languages by program transformatio.. (context) - Fradet, Le Metayer - 1991
33 The design and implementation of programming languages (context) - Hughes - 1983
32 Let-floating: moving bindings to give faster programs - Jones, Partain et al. - 1996
26 Dictionary-free overloading by partial evaluation - Jones - 1994
24 The nofib Benchmark Suite of Haskell Programs - Partain - 1993
24 Time and space profiling for non-strict, higher-order functi.. - Sansom, Jones - 1995
21 Cheap deforestation for non-strict functional languages - Gill - 1996
19 ORBIT - an optimising compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
19 A framework for selective recompilation in the presence of c.. - Chambers, Dean et al. - 1995
19 ORBIT - an optimising compiler for Scheme (context) - Kranz - 1988
18 Execution profiling for non-strict functional languages - Sansom - 1994
17 Shrinking Lambda-Expressions in Linear Time - Appel, Jim - 1996
15 Compilation by program transformation (context) - Kelsey - 1989
14 Measuring the effectiveness of a simple strictness analyser - Jones, Partain - 1993
14 Compilation by transformation in non-strict functional langu.. - Santos - 1995
13 A modular fully-lazy lambda lifter in Haskell - Jones, Lester - 1991
11 Deforestation for Higher Order Functional Programs - Marlow - 1996
11 How not to lie with statistics - the correct way to summaris.. (context) - Fleming, Wallace - 1986
11 Compilation by transformation in the Glasgow Haskell Compile.. - Jones, Santos - 1994
11 Compilation by transformation: a report from the trenches (context) - Jones - 1996
8 A study of a C function inliner (context) - Davidson, Holler - 1988
7 Compiling lazy functional languages, part II (context) - Augustsson - 1987
6 Warm fusion (context) - Launchbury, Sheard - 1995
6 Quantifying behavioural differences between C and C++ progra.. (context) - Calder, Grunwald et al. - 1994
3 Generating parallelism from strictness analysis (context) - Clack, Jones - 1985
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