摘要
随着信息技术的发展和普及，软件在计算机系统中的作用越来越重要．软件的可信性受到了日益广泛的关注．高级语言编写的软件必须经过编译才能在硬件上执行，因此编译器的可信性直接影响软件的可信性．概括地讲，可信编译是指编译器在保证编译过程正确性（编译前的源代码和编译后的目标代码语义一致）的同时，确保生成的目标代码是可信的．可信编译器不仅仅实现语义保持的代码转换功能，
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第9期1821-1821,共1页
Journal of Computer Research and Development
