formal logic; logic programming; Hoare logic; complete program logic; finite canonical form; imperative higher-order function;
机译:用于命令高阶函数的观察上完整的程序逻辑
机译:指令式高阶函数的观察上完整的程序逻辑
机译:在Maude中执行和验证高阶功能命令程序
机译:令人遗憾的更高级函数的一个观察到完整的程序逻辑
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:单互补电阻开关中完整布尔逻辑函数的实现
机译:用于命令式高阶函数的观察完整的程序逻辑
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计