中英▼
go top

separation logic

  • 分离逻辑

网络释义专业释义英英释义

  分离逻辑

分离逻辑(separation logic)是一种近年新发现的用于程序推理的逻辑。用它可在统一的逻辑框架下研究指针、并发、通讯以及弱内存一致性。

基于32个网页-相关网页

短语

logic separation 逻辑分离

Logic And Data Separation 逻辑与数据分离

  • 分离逻辑 - 引用次数：8

    参考来源 - 低级并行代码中几种同步机制的验证
  • 分离逻辑 - 引用次数：1

    参考来源 - DDS并行模型及其形式化

·2,447,543篇论文数据，部分数据来源于NoteExpress

Separation logic

  • abstract: In computer science, separation logicSeparation Logic: A Logic for Shared Mutable Data Structures. John C.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定