Optimization among Provably Equivalent Programs (Preliminary Abstract)

Paul Young

Browse the full FOCS paper archive.