Marina Polishchuk Ben Liblit Chloë W. Schulze Dynamic heap type inference for program understanding and debugging. 39-46 2007 conf/popl/2007 POPL http://doi.acm.org/10.1145/1190216.1190225 db/conf/popl/popl2007.html#PolishchukLS07