Title: A mathematical theory of global program optimization
Subjects: Compiling (Electronic computers), Mathematical optimization, Compiling (electronic computers)