abstract data types; step-indexed logical relations; modal logic; separation logic; plotkin-abadi logic; local state;
机译:高阶有状态ADT的关系模态逻辑
机译:高阶有状态ADT的关系可实现性模型
机译:生成证明的将高阶逻辑转换为纯状态XML
机译:高阶有状态ADT的关系模态逻辑
机译:基于大规模并行和流水线忆阻状态IMPLY逻辑的可重构体系结构的完整设计方法论
机译:带忆阻开关的有状态三输入逻辑
机译:高阶有状态ADT的关系模态逻辑