【摘 要】
：
随着信息技术的发展和普及,软件在计算机系统中的作用越来越重要.软件的可信性受到了日益广泛的关注.高级语言编写的软件必须经过编译才能在硬件上执行,因此编译器的可信性直
论文部分内容阅读
随着信息技术的发展和普及,软件在计算机系统中的作用越来越重要.软件的可信性受到了日益广泛的关注.高级语言编写的软件必须经过编译才能在硬件上执行,因此编译器的可信性直接影响软件的可信性.概括地讲,可信编译是指编译器在保证编译过程正确性(编译前的源代码和编译后的目标代码语义一致)的同时,确保生成的目标代码是可信的.可信编译器不仅仅实现语义保持的代码转换功能,还在编译的过程中对所编译代码进行可信性验证、安全性加强等操作.尽管编译器的可信性问题在20世纪60年代就已提出,但是使可信编译器广泛用于实际的软件开发中仍然面临许多困难.近年来,由于编程语言、定理证明、代码分析与验证等理论取得了长足进展,可信编译器正成为工业界和学术界的研究热点.本专题收录的6篇论文反映了当前我国学者在可信编译领域的最新研究进展和成果,体现了该领域的一些研究方向及趋势.
其他文献
目的分析溃疡型糖尿病足感染应用胰岛素泵治疗的临床效果。方法选取2014年3月-2016年3月收治的40例溃疡型糖尿病足感染患者,分为两组,对照组给予皮下注射胰岛素治疗,研究组给
禹海亮,一九六三年生于湖南靖州。现为湖南科技大学艺术学院教授、硕士生导师,中国美术家协会会员,湖南省中国画学会副主席。出版有《中国当代画家—禹海亮画集》等。任正江,
英国广播公司(BBC)网站刊文称,如今,全球五大手机制造商中有三个来自同一个国家。但是这个国家不是美国,而是中国。来自中国深圳的华为、联想和中兴通讯,与爱立信和三星一起
地点:山东省潍坊市时间:2016年11月12日2016年11月12日,由湖北省书法家协会、中流印社、湖北省青年书法家协会主办,潍坊市图书馆承办的“墨海掬波—方波、张波书法作品展”在
目的分析在下肢静脉血栓病变患者诊断中应用64排螺旋CT静脉造影诊断的价值。方法选2016年5月—2017年4月份在该院治疗的下肢静脉血栓疾病患者77例,全部患者都采取64排螺旋CT
小“网店”里有大文章rn“电商+贫困户+服务商”新模式里的电商,可以简单地理解为“网店”.但这个“网店”不只是一个线上纯“网店”,而是植入有商超功能,配有日用消费商品近
目的了解太原市生活饮用水中碘含量水平,摸清其分布情况,为科学调整碘缺乏病干预策略提供依据。方法2013年3~6月采集全市10个县(市、区)以行政村(居委会)为单位的居民生活饮
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥