2 citations · 3 across the 3 of their papers we have counts for
7 papers
Runtime verification in Erlang by using contracts
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez +1
During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce error…
The Unfolding Semantics of Functional Programs
José María Rey-Poza, Julio Mariño-Carballo
The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, i…
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
Guillermo Vigueras, Manuel Carro, Salvador Tamarit +1
The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of…
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures
Salvador Tamarit, Julio Mariño, Guillermo Vigueras +1
This volume contains the proceedings of PROHA 2016, the first workshop on Program Transformation for Programmability in Heterogeneous Architectures, held on March 12, 2016 in Barce…
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
Guillermo Vigueras, Manuel Carro, Salvador Tamarit +1
The current trend in next-generation exascale systems goes towards integrating a wide range of specialized (co-)processors into traditional supercomputers. However, the integration…
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems
Salvador Tamarit, Julio Mariño, Guillermo Vigueras +1
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, impl…