Interprocedural slicing in the presence of global variables
Arun Lakhotia, Shreyash S. Kame, Jean‐Christophe Deprez · 1999
A slice of a program with respect to a program point p consists of all statements of the program that might affect the behavior of the program observed at p; the program point p is said to be the slicing criterion *. The problem