1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Zachary Grannan, Aurea Bílá, Jonáš Fiala +4
Rust's novel type system has proved an attractive target for verification and program analysis tools, due to the rich guarantees it provides for controlling aliasing and mutability…