"Static Analysis of Programs: A Heap Centric View."

Uday P. Khedker (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics