Optimal interprocedural program optimization: a new framework and its application by Jens Knoop | Menrva Books | MenrvaBooks