Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
The Rust programming language is famous for its strong ownership regime: at each point, each value is either exclusively owned, exclusively borrowed through a mutable reference, or borrowed as read-only through one or more shared references. These rules, known as Rust's pointer-aliasing rules, are e...
Bewaard in:
| Hoofdauteurs: | , |
|---|---|
| Formaat: | Artikel |
| Gepubliceerd in: |
2026
|
| Onderwerpen: | |
| Online toegang: | https://arxiv.org/abs/2603.28326 http://arxiv.org/abs/2603.28326 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|