Text this: A Mathematical Theory of Global Program Optimization. /