"Effective interprocedural resource leak detection."

Emina Torlak, Satish Chandra (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics