47 citations · 65 across the 6 of their papers we have counts for
6 papers
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…
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert +1
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat…
On the Generation of Test Data for Prolog by Partial Evaluation
Miguel Gomez-Zamalloa, Elvira Albert, German Puebla
In recent work, we have proposed an approach to Test Data Generation (TDG) of imperative bytecode by partial evaluation (PE) of CLP which consists in two phases: (1) the bytecode p…
Some Issues on Incremental Abstraction-Carrying Code
Elvira Albert, Puri Arenas, German Puebla
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code supplier provides a program together with an abstraction (…
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
Edison Mera, Pedro Lopez-Garcia, German Puebla +2
Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which…
A Generic Framework for the Analysis and Specialization of Logic Programs
German Puebla, Elvira Albert, Manuel Hermenegildo
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part…