JFLP: Articles Published in 1995

The Journal of Functional and Logic Programming

Volume 1995

Article 1

Published by The MIT Press . Copyright 1995 Massachusetts Institute of Technology.

Your institution may already be a subscriber to JFLP. If not, please subscribe for legitimate access to all journal articles.

Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language

A. Reza Haydarlou and Pieter H. Hartel

30 August 1995

Abstract

Thunk lifting, a program transformation for lazy functional programs, aims to reduce the amount of heap space allocated to the program when it executes. Thunk lifting eliminates nesting of function applications, by folding selected applications. The conditions for selection guarantee that thunk lifting never increases the amount of heap space required by a program.

We implemented thunk lifting, and applied it to 11 medium-sized benchmark programs. The number of cell claims in the heap decreased on average by 5%, to a maximum reduction of 16%.

The following versions of the article are available:

• Preformatted versions of the article (compressed with gzip )
  • DVI (30 kb)
  • PostScript (64 kb)
• Source materials for custom formatting
  • LaTeX ( JFLP-A95-01.tex , 17 kb)
  • BIBTeX ( JFLP-A95-01.bib , 2 kb)
  • Parameter settings for custom formatting ( cjropts.tex , 102 bytes)

You can find this article also on the ftp-server of The MIT Press (access may be faster from some sites).

Self citation

    @article{JFLP-A95-01,
      author={A. Reza Haydarlou and Pieter H. Hartel},
      title={Thunk Lifting: Reducing Heap Usage in an Implementation
             of a Lazy Functional Language},
      journal={Journal of Functional and Logic Programming},
      volume={1995},
      number={1},
      publisher={MIT Press},
      month={August},
      year={1995}
    }

Main page