1. Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: 15th Annual ACM Symposium on POPL, pp. 1–11. ACM Press, New York (1988)
2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th Annual ACM Symposium on POPL, pp. 234–252. ACM Press, New York (1977)
3. Gargi, K.: A sparse algorithm for predicated global value numbering. ACM SIGPLAN Notices (PLDI) 37(5), 45–56 (2002)
4. Lecture Notes in Computer Science;S. Gulwani,2004
5. Lecture Notes in Computer Science;S. Gulwani,2006