"Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models."

Mark Marron et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics