Resources, Concurrency and Local Reasoning

机译：资源，并发和本地推理

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.

机译：在本文中，我们展示了如何使用面向资源的逻辑（分离逻辑）来推理并发程序中的资源使用情况。

著录项

来源
《International Conference on Concurrency Theory(CONCUR 2004); 20040831-20040903; London; GB》|2004年|P.49-67|共19页
会议地点 London(GB);London(GB)
作者
Peter W. OHearn;
展开▼
作者单位

Queen Mary, University of London;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP393.01;
关键词

相似文献

外文文献
中文文献
专利

1. Resources, concurrency, and local reasoning [J] . Peter W. O’Hearn Theoretical computer science . 2007,第1a3期

机译：资源，并发和本地推理
2. Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency [J] . AdrianFrancalanza, EdskoDeVries, MatthewHennessy Logical Methods in Computer Science . 2014,第2期

机译：基于通道的并发中显式资源管理的组合推理
3. Concurrency and local reasoning under reverse exchange [J] . H.-H. Dang, B. Moeller Science of Computer Programming . 2014,第PtaB期

机译：反向交换下的并发和局部推理
4. Resources, Concurrency, and Local Reasoning [C] . Peter W. OHearn European Symposium on Programming . 2004

机译：资源，并发和地方推理
5. PaniniJ: Adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design. [D] . Lin, Eric. 2016

机译：PaniniJ：在Java中添加了胶囊编程抽象，为并发程序设计中的模块化推理提供语言支持。
6. Concurrent chemoradiation versus radiotherapy alone for the treatment of locally advanced cervical cancer in a low-resource setting [O] . Elena Pereira, Hoover Henriquez Cooper, Pedro Guillermo Zelaya, 2006

机译：在资源贫乏地区，同时放化疗与单纯放疗可治疗局部晚期宫颈癌
7. Resources, concurrency and local reasoning [O] . Peter W. O’hearn 2014

机译：资源，并发和本地推理
8. Reasoning with Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition [R] . Fox, M. S. 1981

机译：在资源有限的环境中推理知识不完全：整合推理和知识获取

Resources, Concurrency and Local Reasoning

摘要

著录项

相似文献

相关主题

期刊订阅