go top

网络释义专业释义

  Separation Logic

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

基于32个网页-相关网页

短语

逻辑分离 logical disjunction ; Logical separation

分离时序逻辑 separate time sequence logic

  • separation logic - 引用次数:8

    参考来源 - 低级并行代码中几种同步机制的验证
  • separation logic - 引用次数:1

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

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

双语例句

  • 使用模版样布局视图分离逻辑表现

    uses template-like Layouts and Views to separate logic from presentation

    youdao

  • 相反我们方法规定如果设计必需的则要分离逻辑物理但是如果并不要求设计是必需的,则允许实体视为一个黑盒子

    On the contrary, our approach prescribes logical and physical separation if design is required but allows you to treat an entity as a black box if no design is needed.

    youdao

  • 并且技术实现业务逻辑分离开来

    And the technology implementation is kept separate from the business logic.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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