Safe systems programming in Rust
Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
Abstract
The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.
Topics & Concepts
Computer scienceRust (programming language)Programming languageSoftware engineeringAdvanced Software Engineering MethodologiesLogic, programming, and type systemsFormal Methods in Verification