可信编译器相关论文
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译......
为解决实现同步数据流语言Lustre到串行命令式语言c语言可信编译器过程中碰到的时态运算翻译的困难，提出了将所有的时态运算翻译单......
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统......
编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测......
