0:00 / 0:00
[SOAP'23] Flux: Refinement types for Rust
ACM SIGPLAN
11K subscribers • 53 videos on Hallway
- Recommended by 1 person: 1 on Lobsters.
Advanced. Deep dive for people who know the field.
1K views2 years ago1 recommendation
Programming languagesSystems programmingRustLanguage design and type systemsFormal methods and verification
An introduction to Flux, a refinement type provider for Rust that enables formal verification of program properties.
No description availableWhy it's here
1 person recommends thisWhat people say. Recommended as an interesting approach to bringing refinement types and formal verification to Rust.