7 citations · 7 across the 3 of their papers we have counts for
3 papers
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 (…
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…