Prophecy Made Simple

Leslie Lamport, Stephan Merz

Abstract

Prophecy variables were introduced in the paper 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 paper in a more mathematical way.

Available as: PDF

Reference

@article{lamport:prophecy,
  author =       {Leslie Lamport and Stephan Merz},
  title =        {Prophecy Made Simple},
  journal =      {ACM Trans. Prog. Lang.},
  year =         2022,
  volume =    44,
  number =    2,
  pages =     {6:1--6:27}
}