搜索筛选:
搜索耗时3.1906秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：吴重强,
来源：东南大学 年份：2006
程序切片是一种程序分解技术。因目前切片方法缺乏模块性和灵活性,我们实验室曾提出一种新的形式化切片方法——模块单子切片。目前,模块单子切片的基本理论已初见规模,但是...
[期刊论文] 作者：张迎周,吴重强,钱巨,张卫丰,徐宝文,
来源：计算机学报 年份：2010
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流...
相关搜索：
