• Publications
  • Influence
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation
TLDR
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
  • 275
  • 25
  • PDF
An overview of Ciao and its design philosophy
TLDR
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
  • 142
  • 13
  • PDF
Parallel execution of prolog programs: a survey
TLDR
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
  • 186
  • 10
  • PDF
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
TLDR
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
  • 175
  • 10
  • PDF
The ciao prolog system
TLDR
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
  • 87
  • 9
  • PDF
Task granularity analysis in logic programs
TLDR
This paper describes a method for estimating the granularity of a goal at compile time. Expand
  • 152
  • 8
  • PDF
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation
TLDR
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
  • 180
  • 8
  • PDF
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
TLDR
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
  • 80
  • 8
  • PDF
Lock-free parallel dynamic programming
TLDR
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
  • 43
  • 7
  • PDF
Abstraction-Carrying Code
TLDR
We propose Abstraction-Carrying Code (ACC), a novel approach to mobile code safety in which programs are augmented with a certificate (or proof). Expand
  • 81
  • 6
  • PDF