New Results in Program Slicing Aharon Abadi, Ran Ettinger, and Yishai Feldman IBM Haifa Research Lab Context The Programmer’s Apprentice The Plan Calculus Bogart Midas…