"An efficient static analysis algorithm to detect redundant memory operations."

Keith D. Cooper, Li Xu (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics