(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates | Spyke

programming_languages·Programming Languagesbyjeff_hykin

(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates

(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.htmlOpen link View original on lemmy.world

6

No comments on the original post yet.

(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates | Spyke