see also the index (by topic, by tool, by reference, by year)

## 2016

Examples of year 2016

- A Formal Proof of a Unix Path Resolution Algorithm
- A tiny register allocator for tree expressions
- Binary multiplication
- Binomial heaps
- Bitwalker
- Depth-First Search
- Euler Project problem 11, SPARK/Ada version
- Koda-Ruskey's algorithm
- VSCOMP 2014, problem 1
- solution to VerifyThis 2016 challenge 1
- solution to VerifyThis 2016 challenge 2

see also the index (by topic, by tool, by reference, by year)