模块单子语义相关论文
程序切片是一种重要的程序分析理解方法，用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和谓词，组成新的程序(称作切片)......
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法：先以待定标号初始化子过程中开始处参数变量的切片;......
提出一种基于程序模块单子语义的新动态切片方法--模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的......
