Descripción
|
|
---|---|
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code is transformed into a functionally equivalent one better suited for a given platform. The transformation rules are formalized in a domain-specific language (STML) that takes care of the syntactic and semantic conditions required to apply a given transformation. STML rules are compiled into Haskell function definitions that operate at AST level. Program properties, to be matched with rule conditions, can be automatically inferred or, alternatively, stated as annotations in the source code. Early experimental results are described. | |
Internacional
|
Si |
Nombre congreso
|
Practical Aspects of Declarative Languages PADL 2015 |
Tipo de participación
|
960 |
Lugar del congreso
|
Portland, OR USA |
Revisores
|
Si |
ISBN o ISSN
|
978-3319196855 |
DOI
|
|
Fecha inicio congreso
|
18/06/2015 |
Fecha fin congreso
|
19/06/2015 |
Desde la página
|
105 |
Hasta la página
|
114 |
Título de las actas
|
Practical Aspects of Declarative Languages |