Oxide: A Formal Semantics for Rust arxiv.org • 223 points • 1 citation Mar 05, 2019 Obviously https://arxiv.org/abs/1903.00982 was meant.