Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox. A Denotational Interprocedural Program Slicer. In Arie van Deursen, Elizabeth Burd, editors, 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA. pages 181, IEEE Computer Society, 2002. [doi]
Abstract is missing.