Prophecy Made Simple-Reference-Cited by-同舟云学术

Prophecy Made Simple

Published:2022-04-06 Issue:2 Volume:44 Page:1-27
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Lamport Leslie¹,Merz Stephan²^ORCID

Affiliation:

1. Microsoft Research, Redmond, WA, USA

2. University of Lorraine, CNRS, Inria, LORIA, France

Abstract

Prophecy variables were introduced in the article “The Existence of Refinement Mappings” by Abadi and Lamport. They were difficult to use in practice. We describe a new kind of prophecy variable that we find much easier to use. We also reformulate ideas from that article in a more mathematical way.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/3492545

Reference26 articles.

1. Martín Abadi. 2015. The prophecy of undo. In Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science), Alexander Egyed and Ina Schaefer (Eds.), Vol. 9033. Springer, Berlin, 347–361.

2. The existence of refinement mappings

3. Yehuda Afek Hagit Attiya Danny Dolev Eli Gafni Michael Merritt and Nir Shavit. 1993. Atomic snapshots of shared memory. Journal of the ACM 40 4 (Sept. 1993) 873–890.

4. Bowen Alpern and Fred B. Schneider. 1985. Defining liveness. Information Processing Letters 21 4 (Oct. 1985) 181–185.

5. Appraising fairness in languages for distributed programming

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

1. A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability;Proceedings of the ACM on Programming Languages;2024-01-05