|
|||||
|
|
| 前言 | |
| 引用本文： | 何炎祥,吴伟.前言[J].计算机研究与发展,2012,49(9):1821. |
| 作者姓名： | 何炎祥 吴伟 |
| 作者单位： | 武汉大学 |
| 摘 要： | 随着信息技术的发展和普及,软件在计算机系统中的作用越来越重要.软件的可信性受到了日益广泛的关注.高级语言编写的软件必须经过编译才能在硬件上执行,因此编译器的可信性直接影响软件的可信性.概括地讲,可信编译是指编译器在保证编译过程正确性(编译前的源代码和编译后的目标代码语义一致)的同时,确保生成的目标代码是可信的.可信编译器不仅仅实现语义保持的代码转换功能,还 |
| 关 键 词： | 编译器 可信性 目标代码 编译过程 直接影响 正确性 计算机系统 软件测试 信息技术 高级语言 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |