Proof optimization for partial redundancy elimination.

Ando Saabas, Tarmo Uustalu

Browse the full PEPM paper archive.