MPI-SWS Programming Languages and Verification company blog
Stacked Borrows: An Aliasing Model for Rust
Type systems are useful not just for the safety guarantees they provide, but also for helping compilers generate more efficient code by simplifying important program analyses. In Rust, the type system imposes a strict discipline on pointer aliasing, and it is an express goal of the Rust compiler developers to make use…
- Points
- 180
- HN comments
- 26
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 9, 2020 | Stacked Borrows: An Aliasing Model for Rust by pjmlp | 180 | 26 |
