pith. sign in

Manuel V. Hermenegildo

Identifiers

  • name variant Manuel V. Hermenegildo 0.60 · backfill

Papers (18)

  1. Multivariant Assertion-based Guidance in Abstract Interpretation cs.PL · 2018 · author #3
  2. An Approach to Static Performance Guarantees for Programs with Run-time Checks cs.PL · 2018 · author #5
  3. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption cs.PL · 2018 · author #6
  4. Exploiting Term Hiding to Reduce Run-time Checking Overhead cs.PL · 2017 · author #3
  5. A General Framework for Static Profiling of Parametric Resource Usage cs.PL · 2016 · author #4
  6. Semantic Code Browsing cs.PL · 2016 · author #3
  7. Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) cs.PL · 2016 · author #1
  8. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks cs.DC · 2016 · author #4
  9. Towards Energy Consumption Verification via Static Analysis cs.PL · 2015 · author #5
  10. Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015 cs.DC · 2015 · author #18
  11. Towards Assertion-based Debugging of Higher-Order (C)LP Programs cs.PL · 2014 · author #3
  12. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs cs.PL · 2014 · author #3
  13. The Ciao clp(FD) Library. A Modular CLP Extension for Prolog cs.PL · 2013 · author #3
  14. Reversible Language Extensions and their Application in Debugging cs.PL · 2013 · author #3
  15. Lightweight compilation of (C)LP to JavaScript cs.PL · 2012 · author #4
  16. Parallel Backtracking with Answer Memoing for Independent And-Parallelism cs.PL · 2011 · author #4
  17. A Program Transformation for Continuation Call-Based Tabled Execution cs.PL · 2009 · author #3
  18. Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library cs.DC · 2003 · author #2

Mentions

  • 1501.03064 #18 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 1405.7898 #3 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 1404.4246 #3 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 1301.7702 #3 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 1301.7694 #3 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 1210.2864 #4 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 1107.4724 #4 · backfill · confidence 0.70 Manuel V. Hermenegildo
  • 0901.3906 #3 · backfill · confidence 0.70 Manuel V. Hermenegildo

Frequent Coauthors