The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Manuel V. Hermenegildo" ( http://dblp.L3S.de/Authors/Manuel_V._Hermenegildo )

URL (Homepage):  http://clip.dia.fi.upm.es/~herme/  Author page on DBLP  Author page in RDF  Community of Manuel V. Hermenegildo in ASPL-2

Publication years (Num. hits)
1985-1990 (16) 1991-1992 (15) 1993-1994 (25) 1995-1996 (26) 1997-1999 (22) 2000-2001 (18) 2002-2004 (18) 2005-2006 (21) 2007-2008 (26) 2009-2010 (23) 2011-2012 (21) 2013-2014 (15) 2015-2016 (18) 2017-2018 (16) 2019 (3)
Publication types (Num. hits)
article(91) incollection(3) inproceedings(176) proceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 174 occurrences of 86 keywords

Results
Found 284 publication records. Showing 283 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ignacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo Computing Abstract Distances in Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Atsushi Igarashi (eds.) Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019 Search on Bibsonomy PEPM@POPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo An Approach to Static Performance Guarantees for Programs with Run-time Checks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Multivariant Assertion-based Guidance in Abstract Interpretation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Exploiting Term Hiding to Reduce Run-Time Checking Overhead. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Towards Incremental and Modular Context-Sensitive Analysis. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Towards Static Performance Guarantees for Programs with Run-Time Checks. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Static Performance Guarantees for Programs with Runtime Checks. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Multivariant Assertion-Based Guidance in Abstract Interpretation. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Term Hiding and its Impact on Run-time Check Simplification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Run-time Checks Simplification via Term Hiding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 (eds.) Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Semantic Code Browsing. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo A General Framework for Static Profiling of Parametric Resource Usage. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Semantic code browsing. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo A general framework for static profiling of parametric resource usage. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Description and Optimization of Abstract Machines in a Dialect of Prolog. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayal Zaks, Manuel V. Hermenegildo (eds.) Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016 Search on Bibsonomy CC The full citation details ... 2016 DBLP  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo A Transformational Approach to Parametric Accumulated-Cost Static Profiling. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo Towards Energy Consumption Verification via Static Analysis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Practical Run-time Checking via Unobtrusive Property Caching. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Practical run-time checking via unobtrusive property caching. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy FOPARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Description and Optimization of Abstract Machines in a Dialect of Prolog. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel V. Hermenegildo Pre-indexed Terms for Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo Reversible Language Extensions and their Application in Debugging Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales The Ciao clp(FD) Library. A Modular CLP Extension for Prolog Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Sized Type Analysis for Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo A sharing-based approach to supporting adaptation in service compositions. Search on Bibsonomy Computing The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Supporting Pruning in Tabled LP. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro Reversible Language Extensions and Their Application in Debugging. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Steve Kerrison, Alejandro Serrano 0001, Kyriakos Georgiou, Pedro López-García 0001, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo Certificate size reduction in abstraction-carrying code. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla An overview of Ciao and its design philosophy. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo A Segment-Swapping Approach for Executing Trapped Computations. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo A Constraint-Based Approach to Quality Assurance in Service Choreographies. Search on Bibsonomy ICSOC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey A General Implementation Framework for Tabled CLP. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Analyzing service-oriented systems using their data and structure. Search on Bibsonomy S-Cube@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. Search on Bibsonomy PESOS@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Manuel V. Hermenegildo Logic Languages. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel Backtracking with Answer Memoing for Independent And-Parallelism Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, German Puebla An overview of Ciao and its design philosophy Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient local unfolding with ancestor stacks. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel backtracking with answer memoing for independent and-parallelism. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edison Mera, Teresa Trigo, Pedro López-García 0001, Manuel V. Hermenegildo Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Search on Bibsonomy ICSOC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo Interval-Based Resource Usage Verification: Formalization and Prototype. Search on Bibsonomy FOPARA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Manuel V. Hermenegildo CLP projection for constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla An Overview of the Ciao System. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé Modular Extensions for Modular (Logic) Languages. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Search on Bibsonomy IEEE SCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Workflow, static analysis, business process, service composition, Horn clause
1Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. Search on Bibsonomy New Generation Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth Lock-free parallel dynamic programming. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo Certificate size reduction in Abstraction-Carrying Code Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo Towards Parameterized Regular Type Inference Using Set Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Torsten Schaub Introduction to the 26th International Conference on Logic Programming Special Issue Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Torsten Schaub Introduction to the 26th international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Automatic Fragment Identification in Workflows Based on Sharing Analysis. Search on Bibsonomy ICSOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Jens Palsberg (eds.) Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 Search on Bibsonomy POPL The full citation details ... 2010 DBLP  BibTeX  RDF
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF resource usage analysis, data awareness, adaptation, monitoring, orchestrations
1Manuel V. Hermenegildo, Torsten Schaub Introduction to the Technical Communications of the 26th International Conference on Logic Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Torsten Schaub Titlepage, Table of Contents, Conference Organization. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Torsten Schaub (eds.) Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  BibTeX  RDF
1Gilles Barthe, Manuel V. Hermenegildo (eds.) Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo User-Definable Resource Usage Bounds Analysis for Java Bytecode. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Cabeza Gras, Manuel V. Hermenegildo Non-strict independence-based program parallelization using sharing and freeness information. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Program Transformation for Continuation Call-Based Tabled Execution Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient Local Unfolding with Ancestor Stacks Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. Search on Bibsonomy ICSOC/ServiceWave Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mark Marron, Deepak Kapur, Manuel V. Hermenegildo Identification of logically related heap regions. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF region analysis, shape analysis
1Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static/dynamic debugging, program verification, unit testing, assertions, run-time verification
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Tabling Implementation Based on Variables with Multiple Bindings. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
1Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo Program Parallelization Using Synchronized Pipelining. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstraction-Carrying Code: a Model for Mobile Code Safety. Search on Bibsonomy New Generation Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
1Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF High-level Implementation, Parallelism, Virtual Machines
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 An Improved Continuation Call-Based Implementation of Tabling. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Performance, Program transformation, Implementation, Tabled logic programming
1Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur Sharing analysis of arrays, collections, and recursive structures. Search on Bibsonomy PASTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF shared structures, parallelism, shape analysis
Displaying result #1 - #100 of 283 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license