Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/22989
Citations | ||
Scopus | Web of ScienceĀ® | Altmetric |
---|---|---|
?
|
?
|
Type: | Conference paper |
Title: | Data movement optimisation in point-free form |
Author: | Alexander, B. Wendelborn, A. |
Citation: | Lecture Notes in Artificial Intelligence, 2006 / Johnson, M., Vene, V. (ed./s), vol.4019, pp.21-35 |
Publisher: | Springer |
Publisher Place: | Germany |
Issue Date: | 2006 |
Series/Report no.: | Lecture Notes in Computer Science: 4019 |
ISBN: | 9783540356332 |
ISSN: | 0302-9743 1611-3349 |
Conference Name: | International AMAST Conference (5 Jul 2006 : Kuressare, Estonia) |
Editor: | Johnson, M. Vene, V. |
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. |
Description: | The original publication is available at www.springerlink.com |
DOI: | 10.1007/11784180_5 |
Published version: | http://www.springerlink.com/content/um28822544u0552r/ |
Appears in Collections: | Aurora harvest 2 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.