see also the index (by topic, by tool, by reference, by year)
Trees
Examples involving trees
- AVL trees
- Binary Heaps in Why3
- Cartesian Trees (from VerifyThis 2019) in SPARK
- Computing the height of a tree in CPS style
- Fenwick
- Flexible Arrays
- FoVeOOS'11 Competition: challenge 2 in Why3
- FoVeOOS'11 Competition: challenge 2, in C
- FoVeOOS'11 Competition: challenge 2, in Java
- Generate all binary trees of size n
- Just Join
- Koda-Ruskey's algorithm
- Red-Black Trees in SPARK
- Red-black trees
- Same fringe
- Snapshotable Trees
- Traversing a tree inorder, filling an array
- Tree of array
- Tree reconstruction from a list of leave depths
- Tree relabelling
- VerifyThis 2016: Binary Tree Traversal
- VerifyThis 2019: Cartesian trees
- VerifyThis 2021: DLL to BST
- VerifyThis @ FM 2012, problem 2
- VerifyThis @ FM 2012, problem 3
see also the index (by topic, by tool, by reference, by year)