一种过程间单子切片方法

• 作者: 张迎周 符炜
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 单子切片方法 模块单子语义 过程间程序 参数间依赖 组合性
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1457-1461
• 页数: 5页
• 分类号: TP311
• 字数: 4237字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.08.001

摘要

在现有的过程内单子切片算法基础上，提出基于回填待定标号的过程间单子切片算法：先以待定标号初始化子过程中开始处参数变量的切片；再对其进行过程内单子切片分析，据此可得相应参数间依赖关系；最后回填切片表中相应的待定标号，从而获得所需的过程间单子切片。算法充分利用了过程内单子切片的结果，相当程度上避免了重复计算，无需进一步构造诸如特征子图、连接语法等中间形式，同时通过参数间依赖避免了调用上下文问题。此外，文中算法保留了过程内单子切片算法的强语言适应性和组合性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	符炜	南京邮电大学计算机学院	5	17	3.0	4.0