RustBelt: Securing the foundations of the Rust programming language

R Jung, JH Jourdan, R Krebbers, D Dreyer�- Proceedings of the ACM on�…, 2017 - dl.acm.org
… a destructor, called drop in Rust. For example, when the second thread finishes in line 10,
v is dropped. Similarly, the sending and receiving ends of the channel are dropped at the end …