一种过程间单子切片方法

作     者：张迎周 符炜 ZHANG Ying-zhou;FU Wei

作者机构：南京邮电大学计算机学院江苏南京210003 广西可信软件重点实验室桂林电子科技大学广西桂林541004 江苏省无线传感网高技术研究重点实验室江苏南京210003 宽带无线通信与传感网技术教育部重点实验室江苏南京210003 

出 版 物：《电子学报》 (Acta Electronica Sinica)

年 卷 期：2013年第41卷第8期

页      面：1457-1461页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金(No.60973046 No.61100135) 江苏省普通高校研究生科研创新计划(No.CX10B-195Z No.CXLX12-0479) 南京邮电大学攀登计划(No.NY210009) 广西可信软件重点实验室开放基金 江苏省"青蓝工程"优秀青年骨干教师项目 

主　　题：单子切片方法 模块单子语义 过程间程序 参数间依赖 组合性 

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