A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.

Peter Madden, Ian Green

Browse the full AISC paper archive.