Optimal interprocedural program optimization | lit.salon