HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 形状图论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
一种动态共享数据结构的并发访问控制分析方法第164-172页
关键词: 并行编程  程序分析  访问控制  形状图  
2011年第02期 《中国科学技术大学学报》
一种用于指针程序的形状分析方法第82-85页
关键词: 形状图  形状图逻辑  hoare逻辑  形状分析  程序分析  
2012年第04期 《计算机与现代化》
期刊导航