Quicksort
1 New Results in Program Slicing Aharon Abadi, Ran Ettinger, and Yishai Feldman IBM Haifa Research Lab.