TY  - RPRT
TI  - An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
AU  - Shuanglong Kan
AU  - Zhe Chen
AU  - David Sanan
AU  - Shang-Wei Lin
AU  - Yang Liu
PY  - 2020
UR  - https://arxiv.org/abs/1804.07608
ID  - 1804.07608
ER  -