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

H. Glaser; Hugh Glaser; Pieter H. Hartel; John Wild

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 conference › Paper

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 language	Undefined
Pages	123-145
Number of pages	23
Publication status	Published - Jun 1991

Keywords

IR-55747
EWI-1214

Access to Document

hartel91benefits
open
hartel91benefits
open

Cite this

Glaser, H. (Ed.), Glaser, H., Hartel, P. H. (Ed.), & Wild, J. (1991). On the benefits of different analyses in the compilation of functional languages. 123-145.

@conference{aec7912326914949944403c69df44921,

title = "On the benefits of different analyses in the compilation of functional languages",

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.",

keywords = "IR-55747, EWI-1214",

author = "H. Glaser and Hugh Glaser and Hartel, {Pieter H.} and John Wild",

note = "Imported from DIES",

year = "1991",

month = "6",

language = "Undefined",

pages = "123--145",

}

TY - CONF

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

AU - Glaser, Hugh

AU - Wild, John

A2 - Glaser, H.

A2 - Hartel, Pieter H.

N1 - Imported from DIES

PY - 1991/6

Y1 - 1991/6

N2 - 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.

AB - 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.

KW - IR-55747

KW - EWI-1214

M3 - Paper

SP - 123

EP - 145

ER -