含过程程序的单子切片

• 作者: 张卫丰 张迎周
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 程序切片 单子语义 过程间切片 上下文调用问题
• 年，卷（期）: 2008,（2）
• 页码范围: 178-182
• 页数: 5页
• 分类号: TP311
• 字数: 416字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2008.02.011

摘要

为解决含过程程序的单子切片问题,提出基于回填待定标号的两阶段单子切片算法.算法第1阶段用给定标号初始化子过程的形参切片表,并通过分析调用语句捕获被调者对调用者的影响.算法第2阶段主要是通过回填切片表中相应的待定标号来捕获施调者对被调者的影响.待定标号的引入使得所提切片算法可捕获类似基于系统依赖图(SDG)切片算法中的概要信息,且也可避免上下文调用问题.借助于切片单子转换器,所提单子切片算法将具有较高的模块性和适应性,且其复杂度不劣于基于SDG的切片算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张卫丰	南京邮电大学计算机学院	28	231	9.0	14.0
2	张迎周	南京邮电大学计算机学院	27	142	7.0	10.0