Sciweavers

PADL
2015
Springer

A Haskell Implementation of a Rule-Based Program Transformation for C Programs

8 years 6 months ago
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Abstract. Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where architectureagnostic scientific C code is transformed into a functionally equivalent one better suited for a given platform. The transformation rules are formalized in a domainspecific 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.
Salvador Tamarit, Guillermo Vigueras, Manuel Carro
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PADL
Authors Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
Comments (0)