certifying compiler的意思|示意
美 / /
英 / /
证明编译器
certifying compiler的网络常见释义
编译器 出具证明编译器（Certifying Compiler）是编译器与验证器的结合。本文描述的出具证明编译器项目CComp让用户给出描述程序正确性的规范，并在源代码使用霍尔逻辑风格的推理...
认证编译器 ... Snippet Compiler 小型代码段编译工具 ; 代码段编译工具 certifying compiler 编译器 ; 出具证明编译器 ; 认证编译器 compiler driver 编译驱动器 ; 由编译器驱动程序 ; 编译器驱动器 ; 编译驱动程序 ...
certifying compiler相关短语
1、 certifying compiler PLCC 出具证明编译器PLCC