Journal Articles ACM Transactions on Programming Languages and Systems (TOPLAS) Year : 2022

Prophecy Made Simple

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.
Fichier principal
Vignette du fichier
3492545.pdf (1.07 Mo) Télécharger le fichier
Origin Publication funded by an institution

Dates and versions

hal-03636686 , version 1 (11-04-2022)

Licence

Identifiers

Cite

Leslie Lamport, Stephan Merz. Prophecy Made Simple. ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩. ⟨hal-03636686⟩
62 View
176 Download

Altmetric

Share

More