38 citations · 117 across the 39 of their papers we have counts for
3 papers · 1 filter
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…
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo +1
We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on C…
Reversible Language Extensions and their Application in Debugging
Zoé Drey, José F. Morales, Manuel V. Hermenegildo
A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages. A simple yet powerful technique i…