论文部分内容阅读
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译器可接受的等价的函数式语言程序,通过语法支持、良构性和异常发生三方面的检查,保证了可信编译器对转换后的代码的可接受性以及代码本身较高的可信性。
一种适用于可信编译器的源语言转换与检查框架
【摘 要】
：
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译器可接受的等价的函数式语言程序,通过语法支
【机 构】
：
武汉大学计算机学院,武汉大学软件工程国家重点实验室
【出 处】
：
中国科技论文
【发表日期】
：
2017年14期
【基金项目】
：
国家自然科学基金资助项目（91118003,61373039）, 高等学校博士学科点专项科研基金资助项目（20130141110025）
其他文献
<正> 1986年我省民和县种植的1600多亩春小麦民和186及姊妹系,在6、7月份阴雨连绵的影响下,严重感染赤霉病,减产50多万公斤。1987年乐都县高庙镇长里村800多亩墨波、384、TB9
<正> 春小麦青春533(即79533),经省内各地较大面积的生产示范种植表明,高产稳产,农艺性状好,穗大粒多,茎秆粗壮,耐肥水,抗倒力强,抗锈性好,适应性广,很受群众欢迎。一、育种
本文探索了多效唑对幼龄旺长苹果树的影响。经过两年的试验,实现了控梢、控冠、提高座果率和增加产量的效果,并找出了适宜剂量、施用时期和方法,为大面积推广应用提供了依据
<正> 西宁地区番茄生产自“六五”我省保护地“蔬菜丰产栽培技术研究”攻关课题结束后,已跃上了一个新的台阶,单产大幅度提高,并总结出一套行之有效的栽培技术规范。但由于生
随着我国经济发展水平的不断提高,畜牧养殖业发展迅速,但在畜牧业蓬勃发展的同时,也产生了大量的畜禽粪便,由此造成的环境污染问题日益严峻。以我国近年畜禽养殖(大型牲畜猪
提出利用已知等截面压杆的临界荷载的结果，来求解变截面压相的临界荷载的一种新的数值方法－均值法，经不仅简单易行，而且能够满足一定精度要求。
本文介绍了用电磁法和频率法,综合无损检测球墨铸铁件中基体组织含量和石墨形态的基本原理、具体方法和实用仪器。
探讨了长螺旋钻孔压灌桩钢筋笼安装偏差问题,针对这些问题对其产生原因进行了分析,并提出一些防治措施和建议,实践证明:采用长螺旋钻孔压灌桩具有较好的经济效益和社会效益,
毛泽东的文章我们都喜欢读，百看不厌。为什么呢，因为他的文章结构严谨，立论明确，语言流畅，简洁明快。可是我们的报刊上有些文章，虽然观点新颖，但材料不充实，论证无力，而且语言不精炼，不
提出了一种利用虚拟基线变换估计信号到达角的方法,首先利用圆阵的对称性得到虚拟阵元与参考阵元的相位差,再利用真实阵元与虚拟阵元间的虚拟短基线得到无模糊的相位差估计,