Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday - Reps, Thomas; Sagiv, Mooly; Bauer, Jörg (Springer Berlin Heidelberg, 2007)