Eliminating Redundant Join-Set Computations in Static Single Assignment. - Angela French; José Nelson Amaral (J. Univers. Comput. Sci., 2006)