General Lessons from a Rely/Guarantee Development-Reference-Cited by-同舟云学术

General Lessons from a Rely/Guarantee Development

Published:2017 Issue: Volume: Page:3-22
ISSN:0302-9743
Container-title:Dependable Software Engineering. Theories, Tools, and Applications
language:
Short-container-title:

Author:

Jones Cliff B.,Velykis Andrius,Yatapanage Nisansala

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-69483-2_1

Reference40 articles.

1. Ben-Ari, M.: Algorithms for on-the-fly garbage collection. ACM Trans. Program. Lang. Syst. 6(3), 333–344 (1984)

2. Bornat, R., Amjad, H.: Inter-process buffers in separation logic with rely-guarantee. Formal Aspects Comput. 22(6), 735–772 (2010)

3. Bornat, R., Amjad, H.: Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects Comput. 25(6), 893–931 (2013)

4. Back, R.-J.R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998)

5. Collette, P., Jones, C.B.: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction, Chap. 10, pp. 277–307. MIT Press (2000)

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

1. Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example;Formal Aspects of Computing;2019-06

2. Concurrency: Handling Interference Formally;Lecture Notes in Computer Science;2018

3. A Guide to Rely/Guarantee Thinking;Engineering Trustworthy Software Systems;2018