There are holes here, and we tried to discuss them with Mary Jean. Essentially what the title implies. Handles loops with limited conditional control flow in body. Rather long for our level of interest. Mild interest, may interact with optimization.
Title is descriptive.
Supercomputing '94 32. Architectural Support for Programming Languages and OSs - September 1996 34. An Approach for Refining Static Slices Using Dynamic Information - Rajiv Gupta 3. Precise Interprocedural Chopping - Thomas Reps 5. Refining Data flow information using Infeasible paths - Rastislov Bodik 6.