CORC

在结果中检索

CORC

浏览/检索结果: 共15条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
一种面向多线程的编译验证模型 学位论文
2017
作者:  张晓曈
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05
基于动态语义的Java源程序分析 学位论文
2017
作者:  刘瑞
收藏  |  浏览/下载：15/0  |  提交时间：2019/12/05
一种适用于可信编译器的源语言转换与检查框架 期刊论文
中国科技论文, 2017
作者:  张晓曈;  何炎祥
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05
Java编译器的可信验证方法研究 学位论文
2017
作者:  沈云飞
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/05
同步数据流程序的可信排序 期刊论文
2016, 2016
甘元科; 张玲波; 石刚; 王生原; 董渊; 张智慧; 王沿海; Gan Yuanke; Zhang Lingbo; Shi Gang; Wang Shengyuan; Dong Yuan; Zhang Zhihui; Wang Yanhai
收藏  |  浏览/下载：7/0
同步数据流语言时态消去的可信翻译 期刊论文
2016, 2016
张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
收藏  |  浏览/下载：9/0
同步数据流语言可信编译器的构造 期刊论文
2016, 2016
石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
收藏  |  浏览/下载：3/0
可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏  |  浏览/下载：6/0
编译实习课程的创新教学 期刊论文
计算机教育, 2013
郭耀; 王千祥
收藏  |  浏览/下载：1/0  |  提交时间：2015/10/23
可信编译构造理论与关键技术 图书
2013
作者:  何炎祥
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05

©版权所有 ©2017 CSpace - Powered by CSpace