Compiling C to Safe Rust, Formalized

Posted 1 day ago by love2read
274 points

https://arxiv.org/abs/2412.15042

17 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..