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 2016 · cs.PLShow all

1 paper · 2 filters

cs.PL2016

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Manuel V. Hermenegildo, Pedro Lopez-Garcia

This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in E…