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 › Academic

15 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
Event	3rd Workshop on Implementation of Functional Languages on Parallel Architectures - Southampton, UK Duration: 1 Jun 1991 → 1 Jun 1991

Workshop

Workshop	3rd Workshop on Implementation of Functional Languages on Parallel Architectures
Period	1/06/91 → 1/06/91
Other	June 1991

Keywords

IR-55747
EWI-1214

Access to Document

Cite this

@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; null ; Conference date: 01-06-1991 Through 01-06-1991",

year = "1991",

month = jun,

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

Y2 - 1 June 1991 through 1 June 1991

ER -