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

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

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.PL2011★ 9 cited

An overview of Ciao and its design philosophy

M. V. Hermenegildo, F. Bueno, M. Carro +4

We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An import…