"Generalized Constant Propagation: A Study in C."

Clark Verbrugge, Phong Co, Laurie J. Hendren (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics