Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Año:2015
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Julio Mariño Carballo (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)