Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FP
1992

favoriteEmaildiscussreport

87views Formal Methods» more FP 1992»

On Program Transformation in the Glasgow Haskell Compiler

13 years 8 months ago

On Program Transformation in the Glasgow Haskell Compiler

Download reference.kfupm.edu.sa

In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transformations and therefore are perfectly suitable for incorporation in a compiler. We describe some of the transformations, how they interact and their impact on the time/space behaviour of some programs.

André Santos, Simon L. Peyton Jones

Real-time Traffic

FP 1992 | Glasgow Haskell Compiler | Program Transformations | Programming Languages | Semantics Preserving Program |

claim paper

Related Content

» Callpattern specialisation for haskell programs

» Using Template Haskell for Abstract Interpretation

» A concurrent constraint handling rules implementation in Haskell with software transaction...

» Secrets of the Glasgow Haskell Compiler inliner

» Higher Order Deforestation

» Lightweight concurrency primitives for GHC

» Common Subexpressions Are Uncommon in Lazy Functional Languages

» Parametricity for Haskell with Imprecise Error Semantics

» Template metaprogramming for Haskell

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	FP
Authors	André Santos, Simon L. Peyton Jones

Comments (0)