Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday - Thomas Reps, Mooly Sagiv, Jörg Bauer ((Lecture Notes in Computer Science))