机译:转换类型和统一,用于自动纠正不安全的程序
Language-based security; Information flow control; Security type system; Unification;
机译:转换类型和统一,用于自动纠正不安全的程序
机译:证明基于递归的自动程序转换的正确性
机译:共享内存并行程序自动转换为顺序程序的基本结果
机译:逻辑程序转换的自动正确性证明
机译:自动证明程序分析和转换的正确性。
机译:具有2型糖尿病的成人补贴健康食品处方方案他们正在经历粮食不安全:随机对照试验的议定书
机译:转换类型和统一,用于自动纠正不安全的程序
机译:自动变换在程序验证中的应用