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

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

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