出具证明编译器（Certifying Compiler）是编译器与验证器的结合。本文描述的出具证明编译器项目CComp让用户给出描述程序正确性的规范，并在源代码使用霍尔逻辑风格的推理...
基于54个网页-相关网页
... Snippet Compiler 小型代码段编译工具 ; 代码段编译工具 certifying compiler 编译器 ; 出具证明编译器 ; 认证编译器 compiler driver 编译驱动器 ; 由编译器驱动程序 ; 编译器驱动器 ; 编译驱动程序 ...
基于6个网页-相关网页
certifying compiler PLCC 出具证明编译器PLCC
应用推荐