Stream: t-lang/wg-unsafe-code-guidelines

Topic: Stacked Borrows: the paper


RalfJ (Nov 18 2019 at 19:47, on Zulip):

The paper about Stacked Borrows is finally done :D
https://plv.mpi-sws.org/rustbelt/stacked-borrows/
If you have already read my blog posts, the paper does not say much you have not seen already. However, the paper is the most coherent and most complete introduction to Stacked Borrows so far. So if you were always confused by some aspect of Stacked Borrows, or if you have not read the previous blog posts, the paper is a great way to learn about Stacked Borrows.

Last update: Dec 12 2019 at 00:55UTC