activity
20132017
most citedResource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

38 citations · 38 across the 3 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.PL2013

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types

Alejandro Serrano, Pedro López-García, Manuel Hermenegildo

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expre…