Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

Alejandro Serrano, Pedro Lopez-Garcia, Manuel V. 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 expr…