资料介绍
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究内容进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 电磁弹性理论及其应用—电磁弹性结构力学的理论模型等 2次下载
- 智能传感器的介绍核心技术理论及应用 40次下载
- 自适应模糊控制理论的研究综述_王永富 0次下载
- 混沌控制理论及其发展方向 0次下载
- 高速数控加工的前瞻控制理论及关键技术研究 14次下载
- 自适应控制理论及其应用 0次下载
- 全系数自适应控制理论及其应用 0次下载
- 广义预测控制理论及其应用 0次下载
- 模糊自适应控制理论及其应用 0次下载
- 模糊控制理论及其在过程控制中的应用 0次下载
- 灰色系统理论及其应用 14次下载
- 基于随机矩阵理论的频谱感知技术研究综述 27次下载
- 项目反应理论及其在计算机自适应测试中的应用 14次下载
- 介绍喷射技术理论及应用 19次下载
- 大容量真空开关理论及其产品开发 0次下载
- 讲解消息分发的一种编译期实现法 300次阅读
- 如何实现DevOps目标的核心技术类别和具体技术 389次阅读
- VCS编译选项:-y及+libext+ 6972次阅读
- 如何从GCC源码学编译原理 1251次阅读
- 领域编译器发展的前世今生 1104次阅读
- 编译器理论之别名分析分类 592次阅读
- 图神经网络综述 1984次阅读
- 在Vx-Works平台实现交叉编译工具链的开发及优化研究 1421次阅读
- 锂离子电池预锂化技术的研究进展 1.2w次阅读
- 纳米孔测序是极具前景的下一代测序技术 9698次阅读
- 图神经网络概述第三弹:来自IEEE Fellow的GNN综述 1.2w次阅读
- 浅析新零售7大核心技术 8536次阅读
- 基于RFID产品的可信计算平台的完整性、安全性研究 588次阅读
- C到VHDL的编译器设计与实现详解 4158次阅读
- 基于MPLS的VPN技术原理及其实现 904次阅读
下载排行
本周
- 1储能电源市场分析
- 7.99 MB | 10次下载 | 免费
- 2储能电源市场分析报告
- 2.61 MB | 6次下载 | 免费
- 3磁环电感定制时应该注意什么
- 0.32 MB | 2次下载 | 免费
- 4labview文档教程资料(一)
- 24.29 MB | 2次下载 | 免费
- 54.5V 至 17V 输入、8A 同步降压 SWIFT™ 转换器TPS568215OA数据表
- 1.27MB | 1次下载 | 免费
- 6轻触三功能+常按 SOS 功能手筒LED驱动ICSD3302数据手册
- 0.60 MB | 1次下载 | 2 积分
- 7英集芯IP5353 QFN32 规格书pdf
- 2.70 MB | 1次下载 | 免费
- 8采用QFN封装且具有2.95V-6V 输入的LMZ30604 4A电源模块数据表
- 1.86MB | 1次下载 | 免费
本月
- 1STM32国内外发展现状
- 1.15 MB | 16次下载 | 免费
- 2传感芯片选型指南
- 3.60 MB | 12次下载 | 免费
- 3储能电源市场分析
- 7.99 MB | 10次下载 | 免费
- 4ATmega8芯片中文手册
- 2.45 MB | 8次下载 | 1 积分
- 5TDK电容器产品指南
- 11.88 MB | 7次下载 | 1 积分
- 62A多电池高效开关充电器AN_SY6912A中文资料规格书
- 1.43 MB | 7次下载 | 免费
- 716A 输出电流,高可靠、高效率 同步降压转换器PCD3201产品手册
- 0.47 MB | 6次下载 | 免费
- 8储能电源市场分析报告
- 2.61 MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935091次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420050次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233068次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191317次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183316次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73788次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多