|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
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 |
| 1 | Ignacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo |
Computing Abstract Distances in Logic Programs.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Maximiliano 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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Manuel 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 |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro 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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Maximiliano 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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Multivariant Assertion-based Guidance in Abstract Interpretation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro 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. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Towards Incremental and Modular Context-Sensitive Analysis. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano 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. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo |
Static Performance Guarantees for Programs with Runtime Checks. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Multivariant Assertion-Based Guidance in Abstract Interpretation. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Term Hiding and its Impact on Run-time Check Simplification. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Umer 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. |
Logic Journal of the IGPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Towards Run-time Checks Simplification via Term Hiding. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Umer 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. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel 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 |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin 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. |
Microprocessors and Microsystems - Embedded Hardware Design |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Semantic Code Browsing. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Pedro López-García 0001 |
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Kerstin 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. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo |
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo |
A General Framework for Static Profiling of Parametric Resource Usage. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
Semantic code browsing. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo |
A general framework for static profiling of parametric resource usage. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Description and Optimization of Abstract Machines in a Dialect of Prolog. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayal Zaks, Manuel V. Hermenegildo (eds.) |
Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016 |
CC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ré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. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Reducing the overhead of assertion run-time checks via static analysis. |
PPDP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo |
Towards Energy Consumption Verification via Static Analysis. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Umer 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. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Francisco 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. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Practical Run-time Checking via Unobtrusive Property Caching. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Practical run-time checking via unobtrusive property caching. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Umer 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. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Description and Optimization of Abstract Machines in a Dialect of Prolog. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
Assertion-based Debugging of Higher-Order (C)LP Programs. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel V. Hermenegildo |
Pre-indexed Terms for Prolog. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Zoé Drey, José F. Morales, Manuel V. Hermenegildo |
Reversible Language Extensions and their Application in Debugging |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales |
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo |
Sized Type Analysis for Logic Programs. |
TPLP |
2013 |
DBLP BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
A sharing-based approach to supporting adaptation in service compositions. |
Computing |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Supporting Pruning in Tabled LP. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro |
Reversible Language Extensions and Their Application in Debugging. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Umer 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. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in abstraction-carrying code. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel 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. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A Segment-Swapping Approach for Executing Trapped Computations. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
A Constraint-Based Approach to Quality Assurance in Service Choreographies. |
ICSOC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
A General Implementation Framework for Tabled CLP. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Analyzing service-oriented systems using their data and structure. |
S-Cube@ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan 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. |
PESOS@ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, Manuel V. Hermenegildo |
Logic Languages. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel Backtracking with Answer Memoing for Independent And-Parallelism |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manuel 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 |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient local unfolding with ancestor stacks. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel backtracking with answer memoing for independent and-parallelism. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison 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. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo |
Interval-Based Resource Usage Verification: Formalization and Prototype. |
FOPARA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé, Pedro López-García 0001, Manuel V. Hermenegildo |
CLP projection for constraint handling rules. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel 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. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé |
Modular Extensions for Modular (Logic) Languages. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
Workflow, static analysis, business process, service composition, Horn clause |
| 1 | Pedro 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. |
New Generation Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth |
Lock-free parallel dynamic programming. |
J. Parallel Distrib. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in Abstraction-Carrying Code |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo |
Towards Parameterized Regular Type Inference Using Set Constraints |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Torsten Schaub |
Introduction to the 26th International Conference on Logic Programming Special Issue |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Torsten Schaub |
Introduction to the 26th international conference on logic programming special issue. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Automatic Fragment Identification in Workflows Based on Sharing Analysis. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel 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 |
POPL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
resource usage analysis, data awareness, adaptation, monitoring, orchestrations |
| 1 | Manuel V. Hermenegildo, Torsten Schaub |
Introduction to the Technical Communications of the 26th International Conference on Logic Programming. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Torsten Schaub |
Titlepage, Table of Contents, Conference Organization. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Torsten Schaub (eds.) |
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK |
ICLP (Technical Communications) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gilles Barthe, Manuel V. Hermenegildo (eds.) |
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo |
User-Definable Resource Usage Bounds Analysis for Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
Non-strict independence-based program parallelization using sharing and freeness information. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Program Transformation for Continuation Call-Based Tabled Execution |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. |
ICSOC/ServiceWave Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Deepak Kapur, Manuel V. Hermenegildo |
Identification of logically related heap regions. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
region analysis, shape analysis |
| 1 | Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
static/dynamic debugging, program verification, unit testing, assertions, run-time verification |
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Tabling Implementation Based on Variables with Multiple Bindings. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Performance, Logic Programming, Implementation, Tabling, OR-Parallelism |
| 1 | Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo |
Program Parallelization Using Synchronized Pipelining. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. |
New Generation Comput. |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Parallelism, Virtual Machines |
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 |
An Improved Continuation Call-Based Implementation of Tabling. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur |
Sharing analysis of arrays, collections, and recursive structures. |
PASTE |
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 RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license