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

cs.PL

Penulis (1)

Wen Kokke

Format Sitasi

APA MLA BibTeX

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 ✓