Dynamic heap type inference for program understanding and debugging. - Marina Polishchuk; Ben Liblit; Chloë W. Schulze (POPL, 2007)