Manuel Hermenegildo

Papers authored by Manuel Hermenegildo

This paper is available in a repository.

2008 Mario Méndez-Lojo, Ondřej Lhoták, Manuel V. Hermenegildo

Efficient Set Sharing Using ZBDDs

Download from citeseerx.ist.psu.edu

Pawel S. Pietrzak, Jesus Correas, Jesús Correas Fernández, German Puebla, Manuel V. Hermenegildo

A practical type analysis for verification of modular Prolog programs

Download from pure.ltu.se

2007 Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo

User-Definable Resource Bounds Analysis for Logic Programs

Download from oa.upm.es

Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo

A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

Download from www.researchgate.net

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Download from www.researchgate.net

Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo

, Deepak Kapur

Heap analysis in the presence of collection libraries

Download from www.researchgate.net

Pawel Pietrzak, Manuel V. Hermenegildo

Automatic binding-related error diagnosis in logic programs

Download from pure.ltu.se

2006 Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework

Download from www.researchgate.net

Distributing this paper is prohibited by the publisher

Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo

Reduced Certificates for Abstraction-Carrying Code

Upload

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.

Download from www.researchgate.net

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Towards Description and Optimization of Abstract Machines in an Extension of Prolog.

Download from www.researchgate.net

2005 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)

Download from www.researchgate.net

Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs

Download from www.researchgate.net

German Puebla, Elvira Albert, Manuel Hermenegildo

A Generic Framework for the Analysis and Specialization of Logic Programs

Download from arxiv.org

Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

, Francisco Bueno

Experiments in Context-Sensitive Analysis of Modular Programs

Download from www.researchgate.net

José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization

Download from www.researchgate.net

2004 Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo

Determinacy Analysis for Logic Programs Using Mode and Type Information.

Download from www.researchgate.net

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo

Abstract Interpretation-Based Mobile Code Certification.

Download from www.researchgate.net

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo

Efficient Local Unfolding with Ancestor Stacks for Full Prolog

Download from www.researchgate.net

2003 J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. Hermenegildo

A Generic Persistence Model for (C)LP Systems

Download from citeseerx.ist.psu.edu

Missing publications? Search for publications with a matching author name.

Researcher

Statistics

Refine

Papers authored by Manuel Hermenegildo