Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / - Reps, Thomas W.; Sagiv, Mooly.; Bauer, Jörg.; Wilhelm, R. (Springer,)