33 citations · 56 across the 19 of their papers we have counts for
14 papers · 1 filter
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
Joaquin Arias, Manuel Carro
CiaoPP is an analyzer and optimizer for logic programs, part of the Ciao Prolog system. It includes PLAI, a fixpoint algorithm for the abstract interpretation of logic programs whi…
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Joaquín Arias, Manuel Carro
Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and in some cases more efficient than LP, CLP or LP…
Constraint Answer Set Programming without Grounding
Joaquín Arias, Manuel Carro, Elmer Salazar +2
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, remove…
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…
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
Salvador Tamarit, Julio Mariño, Guillermo Vigueras +1
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges. We present a program transformation environment, implemented in Haskell,…
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)
Manuel Carro, Andy King
This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the…