Data movement optimisation in point-free form
Date
2006
Authors
Alexander, B.
Wendelborn, A.
Editors
Johnson, M.
Vene, V.
Vene, V.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Artificial Intelligence, 2006 / Johnson, M., Vene, V. (ed./s), vol.4019, pp.21-35
Statement of Responsibility
Conference Name
International AMAST Conference (5 Jul 2006 : Kuressare, Estonia)
Abstract
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a process for optimising the transport of data through point-free programs. This process systematically applies local transformations to achieve effective global optimisation. We describe the strategies we employ to ensure this process is tractable. This process has been implemented as an intermediate stage of a compiler. The optimiser is shown to be highly effective, producing code of comparable efficiency to hand-written code.
School/Discipline
Dissertation Note
Provenance
Description
The original publication is available at www.springerlink.com