20 citations · 34 across the 10 of their papers we have counts for
3 papers · 1 filter
Verification of Programs by Combining Iterated Specialization with Interpolation
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas +1
We present a verification technique for program safety that combines Iterated Specialization and Interpolating Horn Clause Solving. Our new method composes together these two techn…
Towards Parameterized Regular Type Inference Using Set Constraints
F. Bueno, J. Navas, M. Hermenegildo
We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set const…
A study of set-sharing analysis via cliques
Jorge Navas, Francisco Bueno, Manuel Hermenegildo
We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of…