2 citations · 3 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Transformational Verification of Quicksort
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
Many transformation techniques developed for constraint logic programs, also known as constrained Horn clauses (CHCs), have found new useful applications in the field of program ve…
cs.PL2020
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We address the problem of proving the satisfiability of Constrained Horn Clauses (CHCs) with Algebraic Data Types (ADTs), such as lists and trees. We propose a new technique for tr…