Optimizing the SPARK TM Program Slicer Ricky E. Sward and Leemon C. Baird III Dept of Computer Science USAF Academy [email protected] [email protected].
Optimizing the SPARK TM Program Slicer