Program Slicing Using the PIFG: with emphasis on Jump Statement


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 10, pp. 2556-2566, Oct. 1998
10.3745/KIPSTE.1998.5.10.2556,   PDF Download:

Abstract

Program slicing is a technique to extract the statements which influence the value of a variable at a particular point of the program. It has been proposed that this technique is useful in debugging, optimization, program maintenance, testing, extracting reusable components and other applications including the understanding of the program behavior. This paper aims to address the problem of slicing programs with Jump-goto, break, continue- in C statements. It was found that previous slicing algorithms do not always generate semantically correct slices when applied to such programs. We, therefore, point out why the previous methods do not work in this more general setting, and describe our efficient solutions that compute more correctly executable slices for such programs.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
P. J. Heung, K. W. Im, P. J. Yang, "Program Slicing Using the PIFG: with emphasis on Jump Statement," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 10, pp. 2556-2566, 1998. DOI: 10.3745/KIPSTE.1998.5.10.2556.

[ACM Style]
Park Jae Heung, Kang Won Im, and Park Joong Yang. 1998. Program Slicing Using the PIFG: with emphasis on Jump Statement. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 10, (1998), 2556-2566. DOI: 10.3745/KIPSTE.1998.5.10.2556.