On-the-Fly Dynamic Dead Variable Analysis. - Joel P. Self; Eric G. Mercer (SPIN, 2007)