形式规约切片相关硕士博士期刊学术论文

程序切片是由WeiserM.提出的一种重要的程序分析和理解的方法，用于从源程序P中抽取对程序中特定点p上的特定变量V有影响的语句和控......