Treffer: A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.
Title:
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.
Authors:
PEARCE, DAVID J.1 david.pearce@ecs.vuw.ac.nz
Source:
ACM Transactions on Programming Languages & Systems. Apr2021, Vol. 43 Issue 1, p1-73. 73p.
Database:
Business Source Ultimate