| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla |
An overview of Ciao and its design philosophy |
CoRR |
2011 |
DBLP 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 | 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 | Manuel Carro, Manuel V. Hermenegildo |
Logic Languages. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Teresa Trigo, Pedro López-García, 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 | 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 | Rémy Haemmerlé, Pedro López-García, 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, 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 | Alex 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 | 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 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in Abstraction-Carrying Code |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro López-García, 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 | Manuel V. Hermenegildo, Torsten Schaub |
Introduction to the 26th international conference on logic programming special issue. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 (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 | Manuel V. Hermenegildo, Torsten Schaub |
Titlepage, Table of Contents, Conference Organization. |
ICLP (Technical Communications) |
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 |
Automatic Fragment Identification in Workflows Based on Sharing Analysis. |
ICSOC |
2010 |
DBLP DOI 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 | 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 | 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 | 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 | 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 | 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 | Edison Mera, Pedro López-García, 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 | Mark Marron, Deepak Kapur, Manuel V. Hermenegildo |
Identification of logically related heap regions. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
region analysis, shape analysis |
| 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 | 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 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha |
An Improved Continuation Call-Based Implementation of Tabling. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Performance, Program transformation, Implementation, Tabled logic programming |
| 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 | Eric Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
Negative Ternary Set-Sharing. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Prolog, And-Parallelism |
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming |
| 1 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
| 1 | Jacques Garrigue, Manuel V. Hermenegildo (eds.) |
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings |
FLOPS |
2008 |
DBLP BibTeX RDF |
|
| 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 |
| 1 | Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic |
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Comparing tag scheme variations using an abstract machine generator. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog |
| 1 | Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo |
Towards execution time estimation in abstract machine-based languages. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation |
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo |
Efficient Set Sharing Using ZBDDs. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo |
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Manuel V. Hermenegildo |
Precise Set Sharing Analysis for Java-Style Programs. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Combining Static Analysis and Profiling for Estimating Execution Times. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation |
| 1 | Pawel Pietrzak, Manuel V. Hermenegildo |
Automatic Binding-Related Error Diagnosis in Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo |
User-Definable Resource Bounds Analysis for Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo |
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. |
DAMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur |
Heap analysis in the presence of collection libraries. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
collection library, static analysis, shape analysis |
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
Logic Programming, Program Transformation, Automatic Parallelization, And- Parallelism |
| 1 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, symbolic computation |
| 1 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
Efficient Top-Down Set-Sharing Analysis Using Cliques. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo |
High-level languages for small devices: a case study. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming |
| 1 | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order |
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Abstract Interpretation with Specialized Definitions. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
| 1 | Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo |
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. |
LCPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
An Abstract Interpretation-based Approach to Mobile Code Safety. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
A study of set-sharing analysis via cliques |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Daniel Cabeza (eds.) |
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings |
PADL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo, Elvira Albert |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
A Study of Set-Sharing Analysis via Clique. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo |
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
Abstraction carrying code and resource-awareness. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness |
| 1 | Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno |
Experiments in Context-Sensitive Analysis of Modular Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Experiments in abstract interpretation-based code certification for pervasive systems. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, GRIDs, resource awareness, distributed execution |
| 1 | Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Databases, Prolog, Query Optimization, Persistency |
| 1 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstract Interpretation-Based Mobile Code Certification. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Cabeza, Manuel V. Hermenegildo, James Lipton |
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. |
ASIAN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo |
Multivariant Non-failure Analysis via Standard Abstract Interpretation. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo |
Determinacy Analysis for Logic Programs Using Mode and Type Information. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
Determinacy Inference, Program Analysis, Types, Modes |
| 1 | Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
A Generic Framework for Context-Sensitive Analysis of Modular Programs. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Cabeza, Manuel V. Hermenegildo |
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Abstract specialization and its applications. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization |
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Abstract Verification and Debugging of Constraint Logic Programs. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla (eds.) |
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings |
SAS |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")