已选(0)清除
条数/页: 排序方式:
|
| 一种面向多线程的编译验证模型 学位论文 2017 作者: 张晓曈
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2019/12/05
|
| 基于动态语义的Java源程序分析 学位论文 2017 作者: 刘瑞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:15/0  |  提交时间:2019/12/05
|
| 一种适用于可信编译器的源语言转换与检查框架 期刊论文 中国科技论文, 2017 作者: 张晓曈; 何炎祥
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/05
|
| Java编译器的可信验证方法研究 学位论文 2017 作者: 沈云飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/12/05
|
| 同步数据流语言时态消去的可信翻译 期刊论文 2016, 2016 张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0 |
| 可信编译器构造的翻译确认方法简述 期刊论文 2016, 2016 刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0 |
| 程序的动态完整性:模型和方法 期刊论文 计算机研究与发展, 2012, 卷号: 49, 期号: 9 作者: 吴昊; 毋国庆
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 可信编译理论及其核心实现技术:研究综述 期刊论文 计算机科学与探索, 2011, 卷号: 5, 期号: 1 作者: 何炎祥; 吴伟; 刘陶; 李清安; 陈勇
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 可信编译器关键技术研究 期刊论文 计算机工程与科学, 2010, 卷号: 32, 期号: 8 作者: 何炎祥; 刘陶; 吴伟
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2019/12/05
|