机译:指令式高阶函数的观察上完整的程序逻辑
Completeness; Characteristic formulae; Program logic; Higher-order function; Imperative programming; Observational equivalence;
机译:用于命令高阶函数的观察上完整的程序逻辑
机译:在Maude中执行和验证高阶功能命令程序
机译:自动化相对完整的高阶功能程序的验证
机译:指令式高阶函数的观察上完整的程序逻辑
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:单互补电阻开关中完整布尔逻辑函数的实现
机译:用于命令式高阶函数的观察完整的程序逻辑
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计