Program Slicing Method of Data Flow Equations Based on Abstract Implementation Structure Diagram
Min Zheng · Journal of Shantou University · 2006
An automatic program slicing method is proposed which applies the data flow equation algorithm to the abstract implementation structure diagram for PASCAL.The method introduces the abstract implementation structure diagram as a part of the procedure blueprint into the domain of the static intra-procedural slicing so as to realize the unification of program representation and the program slicing process form,and to avoid the production of the control flow graph which is demanded in the traditional way,and to cut short the program slicing procedure,and to improve the efficiency of the program slicing process and to reflect the changes between original program and sliced program obviously.