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
  • Ingenierías
Datos
Descripción
Obtaininggoodperformancewhenprogrammingheterogeneouscomputing platforms poses signi?cant challenges for the programmer. We present a programtransformationenvironment,implementedinHaskell,wherearchitectureagnosticscienti?cCcodeistransformedintoafunctionallyequivalentonebetter suitedforagivenplatform.Thetransformationrulesareformalizedinadomainspeci?clanguage(STML)thattakescareofthesyntacticandsemanticconditions required to apply a given transformation. STML rules are compiled into Haskell function de?nitions that operate at AST level.
Internacional
No
Nombre congreso
International Symposium on Practical Aspects of Declarative Languages
Tipo de participación
960
Lugar del congreso
Revisores
Si
ISBN o ISSN
978-3-319-19685-5
DOI
Fecha inicio congreso
18/06/2015
Fecha fin congreso
19/06/2015
Desde la página
1
Hasta la página
8
Título de las actas
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Salvador Tamarit (IMDEA Software Institute)
  • Autor: Guillermo Vigueras (IMDEA Software Institute)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Julio Mariño (IMDEA Software Institute)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • 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)