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