论文部分内容阅读
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译器可接受的等价的函数式语言程序,通过语法支持、良构性和异常发生三方面的检查,保证了可信编译器对转换后的代码的可接受性以及代码本身较高的可信性.
一种适用于可信编译器的源语言转换与检查框架
【摘 要】
：
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译器可接受的等价的函数式语言程序,通过语法支
【机 构】
：
武汉大学计算机学院,武汉,430072武汉大学计算机学院,武汉430072;武汉大学软件工程国家重点实验室,武汉430072;
【出 处】
：
中国科技论文
【发表日期】
：
2017年14期
其他文献
在复杂环境下以超宽速度域行进的运载器,由于任务过程所经历的大气环境复杂、环境参数变化速快,导致运载器的参数状态之间交叉耦合紧密,使得该类运载器的动力学/运动学模型呈
期刊
父母为下一代购买房屋作为婚房赠与夫妻二人已成为社会普遍现象，但由于种种原因却未办理房产过户手续。夫妻一方或双方是否有权要求确认房屋所有权及父母在子女婚姻岌岌可危时
化学理论和计算研究的重大进展,使整个化学正在经历着一场革命性变化,化学的发展进入了一个新的阶段。化学理论计算已经成为化学学科不可缺少的组成部分,计算机模拟实际化学
光纤激光器以其结构紧凑、转换效率高、易散热和光束质量好等优点正逐渐成为高功率全固态激光器的主要选择。目前,单根光纤激光器的输出功率已经超过千瓦量级,但是由于受受激
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
本文研究了高纯LiInS2多晶原料的合成及性能.LiInS2晶体是一种极具吸引力的晶体,可以应用于红外区域的非线性光学频率变换.一般来说,含锂硫族化合物制备非常困难,因为锂极易
我国的公证机构存在多种体制并存情形，造成难以进行统一管理并且难以对公证机构进行定性。《公证法》对公证机构的界定，可以看出公证机构的性质是独立履行公证职能，独立承担民事