"Automatic Inference of Heap Properties Exploiting Value Domains."

Pietro Ferrara, Peter Müller, Milos Novácek (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics