44,904 followers
The research paper I mention was BTW this. Among other things it describes on how we exploit borrow semantics to eliminate aliasing. Something Rust verifiers could learn from... https://t.co/wXiuyzHknX
The research paper I mention was BTW this. Among other things it describes on how we exploit borrow semantics to eliminate aliasing. Something Rust verifiers could learn from... https://t.co/wXiuyzHknX