...
机译:魔术转换的简单正确性证明
Institute of Computer Science, Polish Academy of Sciences, ul. Ordona 21, PI - 01-237 Warszawa, Poland and Department of Computer and Information Science, Linkoepings Universitet, S - 58183 Linkoeping, Sweden;
program correctness; logic programming; magic transformation; declarative semantics; LD-resolution; operational semantics;
机译:用于静态分析和程序转换的简单关系正确性证明
机译:逻辑程序转换的基于约束的正确性证明
机译:一个简单的实变量证明,希尔伯特变换是L〜2等轴测图
机译:用于静态分析和程序转换的简单关系正确性证明
机译:模块化编译器及其正确性证明。
机译:双边变换基本性质的简单分析证明
机译:魔术转换的简单正确性证明