Navegación

Búsqueda

Búsqueda avanzada

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

Resumen:

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.

Palabras Clave:

Autor(es):

Handle:

11705/PROLE/2015/006

Descargas:

La descarga de este artículo ha sido restringida por el autor