1 Mechanized Relational Verification of Concurrent Programs with Continuations

@inproceedings{Timany20171MR,
  title={1 Mechanized Relational Verification of Concurrent Programs with Continuations},
  author={Amin Timany and Lars Birkedal},
  year={2017}
}
Concurrent higher-order imperative programming languages with continuations are very flexible and allow for the implementation of sophisticated programming patterns. For instance, it is well known that continuations can be used to implement cooperative concurrency. Researchers and practitioners have also advocated that the implementation of web servers can be simplified by using a programming pattern based on continuations. This programming pattern can, in particular, help simplify keeping… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.