"Efficient bottom-up heap analysis for symbolic path-based data access ..."

Ivan Matosevic, Tarek S. Abdelrahman (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics