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