Optimal Interprocedural Program Optimization : A New Framework and Its Application - Jens Knoop ((Lecture Notes in Computer Science))