一种适用于可信编译器的源语言转换与检查框架

摘要：

针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译器可接受的等价的函数式语言程序,通过语法支持、良构性和异常发生三方面的检查,保证了可信编译器对转换后的代码的可接受性以及代码本身较高的可信性.

关键词：编译验证、可信编译器、代码转换、操作语义

所属期刊栏目：12

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目91118003,61373039;高等学校博士学科点专项科研基金资助项目20130141110025

在线出版日期：2018-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1646-1650