KRust: A Formal Executable Semantics of Rust.

Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang

Browse the full TASE paper archive.