Jens Knoop Oliver Rüthing Bernhard Steffen Partial Dead Code Elimination. 147-158 1994 PLDI db/conf/pldi/pldi94.html#KnoopRS94