『[2412.15042] Compiling C to Safe Rust, Formalized』2024/12/23 0:15:00 https://arxiv.org/abs/2412.15042
『XユーザーのGCC - GNU Toolchainさん: 「Compiling C to Safe Rust, Formalized by Aymeric Fromherz (INRIA), Jonathan Protzenko (Microsoft Research) https://t.co/N7G77lsjBF」 / X』2024/12/23 0:15:00 https://x.com/gnutools/status/1870496603003334798
