Conference paperEfficient method of computing static single assignment formRon Cytron, Jeanne Ferrante, et al.POPL 1989
Conference paperCONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.Mark N. Wegman, F. Kenneth ZadeckPOPL 1985
Conference paperCompact representations for control dependenceRon Cytron, Jeanne Ferrante, et al.PLDI 1990