#

tree-borrows

Here are 3 public repositories matching this topic...

Vanille-N / tree-borrows

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

rust-lang formal-methods undefined-behavior tree-borrows

Updated Apr 19, 2024
TeX

Vanille-N / tree-beamer

Slides and sources for talks on Tree Borrows

rust-lang formal-methods undefined-behavior tree-borrows

Updated May 8, 2024
TeX

Vanille-N / website

Sources for my homepage

photos homepage pbm tree-borrows

Updated Jun 21, 2024
HTML

Improve this page

Add a description, image, and links to the tree-borrows topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tree-borrows topic, visit your repo's landing page and select "manage topics."