Automatic Program Optimization Through Proof Transformation.

Peter Madden

Browse the full CADE paper archive.