Data movement optimisation in point-free form
| dc.contributor.author | Alexander, B. | |
| dc.contributor.author | Wendelborn, A. | |
| dc.contributor.conference | International AMAST Conference (5 Jul 2006 : Kuressare, Estonia) | |
| dc.contributor.editor | Johnson, M. | |
| dc.contributor.editor | Vene, V. | |
| dc.date.issued | 2006 | |
| dc.description | The original publication is available at www.springerlink.com | |
| dc.description.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. | |
| dc.identifier.citation | Lecture Notes in Artificial Intelligence, 2006 / Johnson, M., Vene, V. (ed./s), vol.4019, pp.21-35 | |
| dc.identifier.doi | 10.1007/11784180_5 | |
| dc.identifier.isbn | 9783540356332 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.issn | 1611-3349 | |
| dc.identifier.orcid | Alexander, B. [0000-0003-4118-2798] | |
| dc.identifier.uri | http://hdl.handle.net/2440/22989 | |
| dc.language.iso | en | |
| dc.publisher | Springer | |
| dc.publisher.place | Germany | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science: 4019 | |
| dc.source.uri | http://www.springerlink.com/content/um28822544u0552r/ | |
| dc.title | Data movement optimisation in point-free form | |
| dc.type | Conference paper | |
| pubs.publication-status | Published |