Dynamic heap type inference for program understanding and debugging.

Marina Polishchuk, Ben Liblit, Chlo W. Schulze

Browse the full POPL paper archive.