11 citations · 33 across the 25 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
Maximiliano Klemen, Pedro Lopez-Garcia, John P. Gallagher +2
The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a…
cs.PL2019
Computing Abstract Distances in Logic Programs
Ignacio Casso, Jose F. Morales, Pedro Lopez-Garcia +1
Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provi…