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