提出在PASCAL抽象实现结构图上，采用数据流方程算法实现程序切片的自动化。
An automatic program slicing method is proposed which applies the data flow equation algorithm to the abstract implementation structure diagram for PASCAL.
概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。
Logic Structure Diagram at conceptual level is a concept algorithm description tool independent of program implementing language.
应用推荐