Program Slicing:Its Improved Algorithm and Application in Verification

Program slicing is a method for automatical program decomposition.This paper presents an improvedslicing algorithm on the basis of static analysis of the control structure of loop statements.The slice obtainedby the new algorithm is guaranteed to be no larger than that obtained by the previous slicing algorithmdeveloped by Mark Weiser.Moreover,the former will be much smaller than the latter for certain kinds ofprograms.In addition,a brief discussion of using slicing in program verification has been given for the sakeof extending the application area of program slicing.