Abstract
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.
Sponsored by CAPES, Brazil.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
L. Augustsson. Compiling Lazy Functional Languages, Part II. PhD thesis, Department of Computer Science, Chalmers University of Technology, S412 96 Göteborg, November 1987.
W. N. Chin and J. Darlington. Removing higher-order expressions by program transformation, February 1991.
W. D. Partain. The nofib benchmarking suite. In J. Launchbury and P. M. Sansom, editors, Functional Programming, Glasgow 1992, Ayr, Scotland, 1992. Springer Verlag, Workshops in Computing.
S. L. Peyton Jones. Implementing lazy functional languages on stock hardware: The Spineless Tagless G-machine. Journal of Functional Programming, 2 (2): 127–202, April 1992.
S. L. Peyton Jones and J. Launchbury. Unboxed values as first class citizens in a non-strict functional language. In Functional Programming Languages and Computer Architecture, Cambridge, September 1991.
S. L. Peyton Jones and D. Lester. A fully-lazy lambda lifter in Haskell. Software–Practice and Experience, 21 (5): 479–506, May 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 British Computer Society
About this paper
Cite this paper
Santos, A., Peyton Jones, S.L. (1993). On Program Transformation in the Glasgow Haskell Compiler. In: Launchbury, J., Sansom, P. (eds) Functional Programming, Glasgow 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3215-8_21
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3215-8_21
Publisher Name: Springer, London
Print ISBN: 978-3-540-19820-8
Online ISBN: 978-1-4471-3215-8
eBook Packages: Springer Book Archive