arXiv Open Access 2019

Rusty Variation: Deadlock-free Sessions with Failure in Rust

Wen Kokke
Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

Penulis (1)

W

Wen Kokke

Format Sitasi

Kokke, W. (2019). Rusty Variation: Deadlock-free Sessions with Failure in Rust. https://arxiv.org/abs/1909.05970

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2019
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓