pith. sign in

Manuel Carro

Identifiers

  • name variant Manuel Carro 0.60 · backfill

Papers (13)

  1. Description, Implementation, and Evaluation of a Generic Design for Tabled CLP cs.PL · 2018 · author #2
  2. Constraint Answer Set Programming without Grounding cs.PL · 2018 · author #2
  3. Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016) cs.PL · 2016 · author #1
  4. Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures cs.PL · 2016 · author #4
  5. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code cs.PL · 2016 · author #2
  6. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems cs.PL · 2016 · author #4
  7. Lightweight compilation of (C)LP to JavaScript cs.PL · 2012 · author #3
  8. Parallel Backtracking with Answer Memoing for Independent And-Parallelism cs.PL · 2011 · author #3
  9. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling cs.PL · 2010 · author #2
  10. A Program Transformation for Continuation Call-Based Tabled Execution cs.PL · 2009 · author #2
  11. Automatic Coding Rule Conformance Checking Using Logic Programs cs.PL · 2007 · author #5
  12. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling cs.PL · 2007 · author #4
  13. An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language cs.DS · 2004 · author #1

Mentions

  • 1210.2864 #3 · backfill · confidence 0.70 Manuel Carro
  • 1107.4724 #3 · backfill · confidence 0.70 Manuel Carro
  • 1007.3961 #2 · backfill · confidence 0.70 Manuel Carro
  • 0901.3906 #2 · backfill · confidence 0.70 Manuel Carro
  • 0711.0344 #5 · backfill · confidence 0.70 Manuel Carro

Frequent Coauthors