HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 指针安全论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
一个出具证明编译器后端的设计与实现第132-135页
关键词: 高可信软件  出具证明编译器  指针安全  汇编代码  
2009年第07期 《计算机工程》
一种改进的指针安全分析算法第170-174页
关键词: 指针安全  数据流分析  steensgaard算法  精度  
2010年第02期 《武汉大学学报·理学版》
期刊导航