A Semantic Basis for Local Reasoning-Reference-Cited by-同舟云学术

A Semantic Basis for Local Reasoning

Published:2002 Issue: Volume: Page:402-416
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Yang Hongseok,O’Hearn Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45931-6_28

Reference12 articles.

1. R.-J. R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, 1978. Report A-1978-4.

2. S. Ishtiaq and P. O’Hearn. BI as an assertion language for mutable data structures. In Principles of Programming Languages, pages 14–26, January 2001.

3. C. C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), Jul 1988.

4. D. Naumann. Calculating sharp adaptation rules. Information Processing Letters, 2000. To appear.

5. Lect Notes Comput Sci;P. O’Hearn,2001

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

1. Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects;Proceedings of the ACM on Programming Languages;2024-04-29

2. Verification-Preserving Inlining in Automatic Separation Logic Verifiers;Proceedings of the ACM on Programming Languages;2023-04-06

3. A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic;Proceedings of the ACM on Programming Languages;2022-01-12

4. Modelling Organizational Recovery;Simulation Tools and Techniques;2022

5. Engineering Ecosystem Models: Semantics and Pragmatics;Simulation Tools and Techniques;2022