...
机译:逻辑程序转换的基于约束的正确性证明
Dipartimento di Informatica, Sistemi e Produzione, Universita di Roma Tor Vergata, Via del Politecnico 1, 00133 Rome, Italy;
IASI-CNR, Viale Manzoni 30, 00185 Rome, Italy;
Dipartimento di Informatica, Sistemi e Produzione, Universita di Roma Tor Vergata, Via del Politecnico 1, 00133 Rome, Italy;
constraints; logic programming; program correctness; program transformation; transformation rules;
机译:使用证明方案的逻辑程序的正确性
机译:用于静态分析和程序转换的简单关系正确性证明
机译:通过完善的注释完全正确地进行逻辑程序转换
机译:逻辑程序转换的自动正确性证明
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:基于约束的逻辑程序转换正确性证明
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息