Conference paperGlobal value numbers and redundant computationsBarry K. Rosen, Mark N. Wegman, et al.POPL 1988