Stefan Staiger Gunther Vogel Steffen Keul Eduard Wiebe Interprocedural Static Single Assignment Form. 1-10 2007 conf/wcre/2007 WCRE http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.31 db/conf/wcre/wcre2007.html#StaigerVKW07