资料介绍
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究内容进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 电磁弹性理论及其应用—电磁弹性结构力学的理论模型等 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次阅读
下载排行
本周
- 1GBT1094.11-2022电力变压器第11部分:干式变压器
- 14.12 MB | 3次下载 | 免费
- 2FT-7800R对讲机维修手册附原理图
- 3.35 MB | 2次下载 | 免费
- 3串口工具UartAssist5.0.exe
- 0.60 MB | 2次下载 | 免费
- 4爬电距离和电气间隙计算
- 0.75 MB | 2次下载 | 1 积分
- 5UC3584DW次级侧后置稳压器EVM板原理图
- 38.97KB | 2次下载 | 免费
- 6UCC38C42 25瓦自谐振复位正激变换器
- 320.6KB | 1次下载 | 免费
- 7ZX-D37 BLE主从一体蓝牙模块技术手册
- 1.22 MB | 1次下载 | 免费
- 8使用15个时钟周期的ADS7841和ADS7844
- 188.55KB | 1次下载 | 免费
本月
- 1无刷电机控制方案设计合作
- 1.05 MB | 22次下载 | 免费
- 2美的超薄电磁炉TM-S1-09B主板原理图
- 0.08 MB | 20次下载 | 免费
- 3纯电动汽⻋的主要部件及⼯作原理
- 5.76 MB | 12次下载 | 5 积分
- 4GP328和GP88S对讲机的维修实列资料合集免费下载
- 0.03 MB | 10次下载 | 10 积分
- 5舒尔SLX4无线话筒接收机原理图:二次变频超外差部分
- 0.27 MB | 8次下载 | 免费
- 6IP5385_DEMO开发资料
- 1.96 MB | 7次下载 | 2 积分
- 7i.MX Linux开发实战指南—基于野火i.MX系列开发板
- 17.86 MB | 7次下载 | 免费
- 8Type-C VL160数据手册
- 0.92 MB | 7次下载 | 3 积分
总榜
- 1matlab软件下载入口
- 未知 | 935115次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191363次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183329次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73805次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
评论
查看更多