3 citations · 3 across the 1 of their papers we have counts for
1 paper
Nico Lehmann, Adam Geller, Niki Vazou +1
We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manip…