【摘 要】
：
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,
【机 构】
：
武汉大学计算机学院,武汉大学软件工程国家重点实验室
【基金项目】
：
国家自然科学基金重大研究计划No. 90818018~~
论文部分内容阅读
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。
其他文献
认知和象征性思维被视作现代人行为的重要特征,而带有刻划痕迹的遗物往往成为鉴别认知和象征的标志,甚至是语言出现的证据.近年来,在非洲、欧洲、近东勒凡特地区甚至西伯利亚
本文利用便携式拉曼光谱仪并结合显微拉曼光谱仪对几件清末彩瓷的拉曼光谱进行了研究。根据谱峰分析,这几件晚清彩瓷中暗红色釉料均为Fe2O3;浅红色和绿色彩釉的主要原料是碱
随着具有变形功能的移动电子设备的出现和发展,为其供电的可变形、柔性锂离子电池近年来受到广泛关注.柔性锂离子电池一般指具有可逆弹性变形能力,同时可正常工作的锂离子电
<正> 司法调解可以最大限度地做到案结事了,实现法律效果和社会效果的有机统一,是在新时期建立健全社会矛盾纠纷调处机制的重大举措,事关党和国家的工作大局,事关人民群众的
目的:探讨铸造支架活动义齿治疗牙列缺失的效果。方法:选择收治的50例老年重度牙列缺失患者,采用铸造支架活动义齿治疗。结果:患者牙列缺失都修复完成,其稳定性和美观性均得
利用X-射线CT扫描技术观察云南晚中新世松属球果化石的内部结构,并与现代种的内部结构进行比较。这是该技术在中国古植物学研究中的首次报道。通过内部结构的比较发现,松属化
<正>预防总是比伤了再治疗好得多1膝盖损伤跑步者每天与路面的接触,会导致位于膝盖后面的软骨的损伤,同时还会使两侧的肌肉过度劳累,大腿外侧因而变得无力,这些都是锻炼过度
目的:探讨高量输血、规范去铁重型β地中海贫血患儿生长发育异常的发生率。方法:将15例高量输血、规范去铁重型β地中海贫血患儿设为观察组,21例不规范输血、去铁重型β地中
目的:探讨血浆置换(Plasma exchange,PE)辅助治疗系统性红斑狼疮中的疗效观察与护理。方法:对2例系统性红斑狼疮患者进行血浆置换治疗,检测治疗前后患者相关血液指标变化。观