首页> 中文期刊>中国科技论文 >一种适用于可信编译器的源语言转换与检查框架

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中国科技论文》|2017年第14期|1646-1650|共5页
作者
张晓瞳; 何炎祥;
展开▼
作者单位

武汉大学计算机学院,武汉430072;

武汉大学计算机学院,武汉430072;

武汉大学软件工程国家重点实验室,武汉430072;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
编译验证; 可信编译器; 代码转换; 操作语义;
入库时间 2023-07-25 13:18:06

相似文献

中文文献
外文文献
专利

1. 一种适用于可信编译器的源语言转换与检查框架 [J] . 张晓曈1 ,何炎祥12 . 中国科技论文 . 2017,第014期
2. 一种适用于IC-CAD数据管理的对象语言及其编译器的设计与实现 [J] . 杨家海 . 计算机研究与发展 . 1993,第007期
3. 在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程 [J] . 李凌 ,李璜华 ,王生原 . 计算机科学 . 2020,第006期
4. 一种基于端对端平台可信性互认证的可信迁移框架及协议 [J] . 袁春阳 ,贺也平 ,石志国 . 计算机研究与发展 . 2006,第0z2期
5. 一种基于可重定向编译器的功耗优化框架 [J] . 徐步荣 ,李曦 ,魏亮辉 . 计算机仿真 . 2007,第004期
6. 一种基于端对端平台可信性互认证的可信迁移框架及协议 [C] . 袁春阳 ,中国科学院研究生院 ,贺也平 . 第二届中国可信计算与信息安全学术会议 . 2006
7. 一种适用于私有云环境的统一度量与存储的可信计算模型的研究与设计 [A] . 韩皓辰 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号