We use cookies to improve your experience with our site.
Lu Qi, Zhang Fubo, Qian Jiahua. Program Slicing:Its Improved Algorithm and Application in Verification[J]. Journal of Computer Science and Technology, 1988, 3(1): 29-39.
Citation: Lu Qi, Zhang Fubo, Qian Jiahua. Program Slicing:Its Improved Algorithm and Application in Verification[J]. Journal of Computer Science and Technology, 1988, 3(1): 29-39.

Program Slicing:Its Improved Algorithm and Application in Verification

  • Program slicing is a method for automatical program decomposition.This paper presents an improved slicing algorithm on the basis of static analysis of the control structure of loop statements.The slice obtained by the new algorithm is guaranteed to be no larger than that obtained by the previous slicing algorithm developed by Mark Weiser.Moreover,the former will be much smaller than the latter for certain kinds of programs.In addition,a brief discussion of using slicing in program verification has been give…
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return