Showing results 1 to 2 of 2
Stacked Borrows: An Aliasing Model for Rust Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs Lee, O; Yang, Hongseok; Yi, K, SCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10 |
Discover