Automatic generation of global optimizers (1991)

by D Whitfield, M L Soffa
Venue:In PLDI’91