Rusty Variation: Deadlock-free Sessions with Failure in Rust

Wen Kokke

doi:10.4204/EPTCS.304.4

Rusty Variation: Deadlock-free Sessions with Failure in Rust

Programming Languages 2019-09-16 v1

Authors: Wen Kokke

View on arXiv ↗ PDF ↗ DOI ↗

Abstract

Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respect a specified protocol, and are guaranteed to be free from deadlocks and races.

Keywords

memory safety in rust

Cite

@article{arxiv.1909.05970,
  title  = {Rusty Variation: Deadlock-free Sessions with Failure in Rust},
  author = {Wen Kokke},
  journal= {arXiv preprint arXiv:1909.05970},
  year   = {2019}
}

Comments

In Proceedings ICE 2019, arXiv:1909.05242

Related papers

View all related →