Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Year:2015
Research Areas
  • Engineering
Information
Abstract
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.
International
No
Congress
International Symposium on Practical Aspects of Declarative Languages
960
Place
Reviewers
Si
ISBN/ISSN
978-3-319-19685-5
Start Date
18/06/2015
End Date
19/06/2015
From page
1
To page
8
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Participants
  • 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)
Research Group, Departaments and Institutes related
  • 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 2019 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)