38 citations · 38 across the 3 of their papers we have counts for
3 papers
Constraint Handling Rules with Binders, Patterns and Generic Quantification
Alejandro Serrano, Jurriaan Hage
Constraint Handling Rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a c…
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…
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…