Compilation by Transformation in Non-Strict Functional Languages

Compilation by Transformation in Non-Strict Functional Languages (1995)

by André L. de M. Santos

Citations:

29 - 1 self

User correction supplied by lpsmith

Datum	Value	Source
TITLE	Compilation by Transformation in Non-Strict Functional Languages	user correction - Legacy Corrections
AUTHOR NAME	André L. de M. Santos	user correction
ABSTRACT	In this thesis we present and analyse a set of automatic source-to-source program transformations that are suitable for incorporation in optimising compilers for lazy functional languages. These transformations improve the quality of code in many different respects, such as execution time and memory usage. The transformations presented are divided in two sets: global transformations, which are performed once (or sometimes twice) during the compilation process; and a set of local transformations, which are performed before and after each of the global transformations, so that they can simplify the code before applying the global transformations and also take advantage of them afterwards. Many of the local transformations are simple, well known, and do not have major effects on their own. They become important as they interact with each other and with global transformations, sometimes in non-obvious ways. We present how and why they improve the code, and perform extensive experiments wit...	user correction - Legacy Corrections
YEAR	1995	SVM HeaderParse 0.2
CITATIONS	83 found	ParsCit 1.0