On the benefits of different analyses in the compilation of functional languages

H. Glaser (Editor), Hugh Glaser, Pieter H. Hartel (Editor), John Wild

    Research output: Contribution to conferencePaper

    10 Downloads (Pure)

    Abstract

    Implementations of lazy functional languages have not as yet approached the speed of execution provided by imperative, or even non-lazy functional languages. It has been suggested that the answer to this problem lies with powerful analyses, based on abstract interpretation, such as strictness analyses that can deal with arbitrary data structures and higher-order functions. In this paper we present a break down of the benefits of a number of analyses, each performed at increasing levels of sphistication.
    Original languageUndefined
    Pages123-145
    Number of pages23
    Publication statusPublished - Jun 1991

    Keywords

    • IR-55747
    • EWI-1214

    Cite this