2 citations · 3 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
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…
cs.PL2017★ 2 cited
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…