《计算机学报》文章摘要   全文下载
文章题目	含指针程序的单子切片方法
作者	张迎周1)，2)，3) 吴重强4) 钱巨2)，5) 张卫丰1)，2) 徐宝文2)，6)
作者单位	1)(南京邮电大学计算机学院 南京 210003) 2)(南京大学计算机软件新技术国家重点实验室 南京 210093) 3)(北京邮电大学网络与交换技术国家重点实验室 北京 100876) 4)(EMC中国研发中心 上海 200433) 5)(南京航空航天大学信息科学与技术学院 南京 210016) 6)(南京大学计算机科学与技术系 南京 210093)
发表年份	2010
发表月份	3期(473—482)
文章摘要	摘要 传统的含指针程序切片方法将指向分析与切片计算分开，增加了一定系统开销，为此文中提出一种可同时进行切片计算和指向分析的单子切片算法．该算法将程序正向切片思想与数据流迭代分析相结合，它是流敏感的，具有一定的精度，而且因指向分析和切片计算同时进行，故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息，而只需记录当前所分析的程序点处指向信息，从而节省了存储空间．此外，它还继承了原有单子切片方法所具有的强语言适应性和组合性． 关键词　程序切片；单子切片；数据流迭代；指针；指向分析