9 citations · 11 across the 5 of their papers we have counts for
5 papers
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption
Pedro Lopez-Garcia, Luthfi Darmawan, Maximiliano Klemen +3
Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We have presented a configurable fram…
An overview of Ciao and its design philosophy
M. V. Hermenegildo, F. Bueno, M. Carro +4
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An import…
Towards Parameterized Regular Type Inference Using Set Constraints
F. Bueno, J. Navas, M. Hermenegildo
We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set const…
A study of set-sharing analysis via cliques
Jorge Navas, Francisco Bueno, Manuel Hermenegildo
We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of…
More Precise Yet Efficient Type Inference for Logic Programs
Claudio Vaucheret, Francisco Bueno
Type analyses of logic programs which aim at inferring the types of the program being analyzed are presented in a unified abstract interpretation-based framework. This covers most…