• Formally understanding Rust’s...

Treffer: Formally understanding Rust’s ownership and borrowing system at the memory level

Title:
Formally understanding Rust’s ownership and borrowing system at the memory level
Authors:
Kan, Shuanglong, Chen, ZheAff2, IDs10703024004603_cor1, Sanán, David, Liu, Yang
Source:
Formal Methods in System Design: An International Journal. 64(1):200-236
Database:
Springer Nature Journals