27 citations · 100 across the 15 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We address the problem of checking the satisfiability of Constrained Horn Clauses (CHCs) defined on Algebraic Data Types (ADTs), such as lists and trees. We propose a new technique…
cs.PL2013★ 6 cited
Verification of Imperative Programs by Constraint Logic Program Transformation
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We present a method for verifying partial correctness properties of imperative programs that manipulate integers and arrays by using techniques based on the transformation of const…