Pātuhitia tēnei: Optimal interprocedural program optimization : a new framework and its application / Jens Knoop.