most citedTowards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

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…