Vanille-N / tree-borrows

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

Tree Borrows

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

Contents

• model: early description of the model (Markdown) Note: some typos may have been fixed in half but not in model
• half: midterm project report (LaTeX)
• figs: shared figures for all documents (TikZ)

See also the Tree Borrows blog post