Coding; Logic; Assembly languages; Application programming interface; Interoperability; Syntax; Computer program reliability; Integration; Semantics;
机译:基础证明代码的递归类型的索引模型
机译:C系统代码结构类型的正式验证,分离逻辑和定理证明
机译:验证码信息流类型系统
机译:用于基础证明代码的Hoare逻辑和类型系统的接口
机译:控制流的组合逻辑及其在基础证明代码中的应用。
机译:初级保健的基于结果的逻辑模型:基于人口的信息系统的概念基础
机译:用于基础证明代码的hoare逻辑和类型系统的接口