Strong Update, Disposal, and Encapsulation in Bunched Typing-Reference-Cited by-同舟云学术

Strong Update, Disposal, and Encapsulation in Bunched Typing

Published:2006-05 Issue: Volume:158 Page:81-98
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Berdine Josh,O'Hearn Peter W.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference26 articles.

1. A. Ahmed, M. Fluet, and G. Morrisett. L3: A linear language with locations. Technical Report TR-24-04, Harvard University, 2004

2. A. Ahmed, M. Fluet, and G. Morrisett. A step-indexed model of substructural state. In ICFP, 2005

3. L. Birkedal, N. Torp-Smith, and H. Yang. Semantics of separation-logic typing and higher-order frame rules. In 20th LICS, pages 260–269, 2005

4. J. Cheney and G. Morrisett. A linearly typed assembly language. Technical Report 2003-1900, Department of Computer Science, Cornell University, 2003

5. M. Collinson and D. Pym. A bunched approach to the semantics of regions and locations. In SPACE, 2006

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency;Proceedings of the ACM on Programming Languages;2022-10-31

2. Automated Theorem Proving for Assertions in Separation Logic with All Connectives;Automated Deduction - CADE-25;2015

3. Bunched Logics Displayed;Studia Logica;2012-10-20

4. A Unified Display Proof Theory for Bunched Logic;Electronic Notes in Theoretical Computer Science;2010-09

5. Classical BI: Its Semantics and Proof Theory;Logical Methods in Computer Science;2010-07-20