Compiling C to Safe Rust, Formalized
by Aymeric Fromherz (INRIA), Jonathan Protzenko (Microsoft Research)
https://arxiv.org/abs/2412.15042

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service