328 citations · 732 across the 43 of their papers we have counts for
Showing 2015 · cs.PLShow all
2 papers · 2 filters
cs.PL2015
An encoding of array verification problems into array-free Horn clauses
David Monniaux, Laure Gonnord
Automatically verifying safety properties of programs is hard, and it is even harder if the program acts upon arrays or other forms of maps. Many approaches exist for verifying pro…
cs.PL2015
A simple abstraction of arrays and maps by program translation
David Monniaux, Francesco Alberti
We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar opera…