2 citations · 2 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2007★ 2 cited
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…
cs.PL2005
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…