资料介绍
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究内容进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 电磁弹性理论及其应用—电磁弹性结构力学的理论模型等 2次下载
- 智能传感器的介绍核心技术理论及应用 40次下载
- 软件可信评估研究综述 0次下载
- 混沌控制理论及其发展方向 0次下载
- 高速数控加工的前瞻控制理论及关键技术研究 14次下载
- 自适应控制理论及其应用 0次下载
- 全系数自适应控制理论及其应用 0次下载
- 广义预测控制理论及其应用 0次下载
- 模糊自适应控制理论及其应用 0次下载
- 模糊控制理论及其在过程控制中的应用 0次下载
- 灰色系统理论及其应用 14次下载
- 基于随机矩阵理论的频谱感知技术研究综述
- 项目反应理论及其在计算机自适应测试中的应用
- 介绍喷射技术理论及应用
- 大容量真空开关理论及其产品开发 0次下载
- 现代控制理论和自动控制原理的区别 817次阅读
- Allan 方差理论及测量方法 609次阅读
- 讲解消息分发的一种编译期实现法 451次阅读
- 如何实现DevOps目标的核心技术类别和具体技术 561次阅读
- VCS编译选项:-y及+libext+ 1w次阅读
- 如何从GCC源码学编译原理 2480次阅读
- 领域编译器发展的前世今生 1472次阅读
- 智能汽车预期功能安全保障关键技术的应用研究及未来展望 1223次阅读
- 机器视觉技术在汽车制造领域的应用实践 4688次阅读
- 编译器理论之别名分析分类 714次阅读
- 图神经网络综述 2279次阅读
- 在Vx-Works平台实现交叉编译工具链的开发及优化研究 1605次阅读
- 纳米孔测序是极具前景的下一代测序技术 9925次阅读
- 基于RFID产品的可信计算平台的完整性、安全性研究 656次阅读
- 基于MPLS的VPN技术原理及其实现 985次阅读
下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 6次下载 | 免费
- 3100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 4嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 5基于FPGA的光纤通信系统的设计与实现
- 0.61 MB | 2次下载 | 免费
- 6基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 751单片机窗帘控制器仿真程序
- 1.93 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33564次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21548次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6653次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537796次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191185次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183278次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多