Formal Verification of Transformations for Peephole Optimization.

Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rue

Browse the full FM paper archive.