Invia SMS: <A> Mathematical theory of global program optimization