2012年《计算机研究与发展》专题征文通知——“可信编译的理论与关键技术”

下载PDF

导出

摘要编译器是重要的系统软件之一，编译器的可信性对于整个计算机系统而言具有非常关键的意义．可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性，对可信编译理论和技术的研究具有重要理论意义和实用前景．

出处《计算机研究与发展》 EI CSCD 北大核心 2011年第8期1389-1389,共1页 Journal of Computer Research and Development

关键词计算机系统编译器研究与发展征文通知技术专题可信性软件

1何炎祥,吴伟.前言[J].计算机研究与发展,2012,49(9):1821-1821.
2何炎祥,吴伟,刘陶,李清安,陈勇,胡明昊,刘健博,石谦.可信编译理论及其核心实现技术:研究综述[J].计算机科学与探索,2011,5(1):1-22. 被引量：12
3王昌晶.基于扩展逻辑变换系统_μTS证明循环优化正确性[J].计算机研究与发展,2012,49(9):1863-1873. 被引量：2
4何炎祥,刘陶,吴伟.可信编译器关键技术研究[J].计算机工程与科学,2010,32(8):1-6. 被引量：7
5杨锦亚,郭虹,于宏毅,胡捍英.NS-2新功能模块的开发[J].计算机仿真,2006,23(11):120-123. 被引量：3
6王蕾,石刚,董渊,白晓颖,王生原.一个C语言安全子集的可信编译器[J].计算机科学,2013,40(9):30-34. 被引量：3
7孙承福,高红玲.教学编译程序实例的设计[J].沈阳工业学院学报,1998,17(2):29-34. 被引量：2

计算机研究与发展

2011年第8期

浏览历史

内容加载中请稍等...