...
机译:编译器后端的正式认证,或:使用校对助手对编译器进行编程
languages; reliability; security; verification; certified compilation; semantic preservation; program proof; compiler transformations and optimizations; the Coq theorem prover; VERIFICATION;
机译:编译器后端的正式认证,或:使用校对助手对编译器进行编程
机译:编译器优化时数值程序的证明
机译:编译器优化时数值程序的证明
机译:编译器后端的正式认证或
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:在现场可编程模拟阵列上编译概率性受生物启发的电路
机译:从证明助手中提取经过正式验证的,完全可执行的编译器
机译:paCKTRam数据库获得国家主管当局的包装设计,特殊形式材料和放射性物质运输的批准证书。编译系统程序的用户指南