static analysis; abstract interpretation; certification; compilation; translation validation;
机译:基于符号传递函数的认证编译方法
机译:安全编译的正式方法:完全抽象编译和相关工作的概述
机译:特定于域的符号编译
机译:基于符号传递函数的认证编译方法
机译:在类型分析框架中验证标准ML的编译。
机译:基于对比度传递函数的出口波重建与深度学习框架的石墨烯和Cu单射原子取代的原子分辨率透射电子显微镜图像
机译:基于符号传递函数的认证编译方法
机译:技术转移:各种创新管理方法的汇编