Representing Proof Transformations for Program Optimizations.

Penny Anderson

Browse the full CADE paper archive.