基于模块单子语义的动态程序切片 上传者：hfutmike 2020-08-11 09:45:53上传 PDF文件 349.05KB 热度 30次 基于模块单子语义的动态程序切片,张迎周,徐宝文,本文提出了一种新的动态切片方法──模块单子动态切片,它基于程序的模块单子语义。首先通过单子转换器,将切片这一类计算抽象成 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
