Safe systems programming in Rust
Safe systems programming in Rust
Ralf Jung,Jacques-Henri Jourdan,Robbert Krebbers,Derek Dreyer
2021 · DOI: 10.1145/3418295
Communications of the ACM · 64 Citations
TLDR
The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.
Abstract
The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.