Dynamic heap type inference for program understanding and debugging (2007)

by M Polishchuk, B Liblit, C Schulze
Venue:in POPL