Compiling C to Safe Rust, Formalized

Posted 1 year ago by love2read
291 points

https://arxiv.org/abs/2412.15042

18 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..