M. Hermenegildo

Publications
Influence

Compile-Time Derivation of Variable Dependency Using Abstract Interpretation

K. Muthukumar, M. Hermenegildo
Computer Science
J. Log. Program.
1 July 1992

A new algorithm for doing abstract interpretation in logic programs is described which concentrates on inferring the dependencies of the terms bound to program variables with increased precision and at all points in the execution of the program, rather than just at a procedure level. Expand

An overview of Ciao and its design philosophy

M. Hermenegildo, Francisco Bueno, +4 authors G. Puebla
Computer Science
Theory Pract. Log. Program.
27 February 2011

We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. Expand

Parallel execution of prolog programs: a survey

G. Gupta, Enrico Pontelli, K. M. A. Ali, M. Carlsson, M. Hermenegildo
Computer Science
TOPL
1 July 2001

We provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the most relevant approaches explored to date in the field. Expand

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

M. Hermenegildo, G. Puebla, F. Bueno, P. López-García
Computer Science
Sci. Comput. Program.
1 October 2005

We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool in the program development process. Expand

The ciao prolog system

Francisco Bueno Carrillo, D. Gras, M. Liñares, M. Hermenegildo, P. García, A. Sánchez
Computer Science
12 December 2002

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. Expand

Task granularity analysis in logic programs

S. Debray, Nai-Wei Lin, M. Hermenegildo
Computer Science
PLDI '90
1 June 1990

This paper describes a method for estimating the granularity of a goal at compile time. Expand

Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation

K. Muthukumar, M. Hermenegildo
Computer Science
ICLP
1 June 1991

In this paper, abstract interpretation algorithms are described for computing the sharmg as well as the freeness information about the run-time instantiations of program variables. Expand

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

Mario Méndez-Lojo, J. Navas, M. Hermenegildo
Computer Science
LOPSTR
28 November 2008

We present a framework for analysis of object-oriented languages in which in a first phase we transform the input program into a representation based on Horn clauses. Expand

Lock-free parallel dynamic programming

A. Stivala, Peter James Stuckey, M. Banda, M. Hermenegildo, A. Wirth
Computer Science
J. Parallel Distributed Comput.
1 August 2010

We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the order in which the dynamic program computes its subproblems. Expand

Abstraction-Carrying Code

E. Albert, G. Puebla, M. Hermenegildo
Computer Science
LPAR
14 March 2005

We propose Abstraction-Carrying Code (ACC), a novel approach to mobile code safety in which programs are augmented with a certificate (or proof). Expand

Recommended Authors