@misc{indiciae8337d3530eb4,
  title = {An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing},
  author = {Shuanglong Kan and Zhe Chen and David Sanan and Shang-Wei Lin and Yang Liu},
  year = {2020},
  url = {https://arxiv.org/abs/1804.07608},
  note = {Source identifier: 1804.07608}
}