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 challenge related to the Esterel Compiler
- A tiny register allocator for tree expressions
- Binary Tree Traversal
- Binary multiplication
- Binomial heaps
- Bitwalker
- Depth-First Search
- Euler Project problem 11, SPARK/Ada version
- Koda-Ruskey's algorithm
- Maximize product of adjacent numbers in a matrix
- Schorr-Waite algorithm, proof via recursion
- Strassen's Matrix Multiplication
- VSCOMP 2014, problem 1

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