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

双语例句

  • Tune in then to learn how custom tags can facilitate the separation between presentation and business logic, while also letting you incorporate dynamic data into the presentation layer.

    学习自定义标记如何促进表示业务逻辑之间分离同时可以动态数据合并表示

    youdao

  • Finally, delegating logic often leads to a cleaner separation of concerns.

    最后委派逻辑通常得到干净关注点分离

    youdao

  • The complete separation of view and controller logic plus the use of standard HTML templates makes the framework very easy to use, even for people not familiar with the MVC pattern.

    把视图控制器逻辑完整分离有利于标准HTML模板使用框架非常容易的使用,甚至于对于那些熟悉MVC模式的人来说也是如此。

    youdao

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

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

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